[bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4.

guix-patches

From:	Christopher Baines
Subject:	[bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4.
Date:	Tue, 13 Dec 2022 13:53:01 +0000
User-agent:	mu4e 1.8.11; emacs 28.2

This seems good to me, I've pushed to master as
87638cdd48ccf9537e3e5bcc8156df7a38c1e54a.

Thanks,

Chris

signature.asc
Description: PGP signature

Current Thread

[Next in Thread]

[bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4., jgart, 2022/12/08
- [bug#59895] [PATCH 1/2] gnu: mercury-minimal: Update to 22.01.4., jgart, 2022/12/08
  - [bug#59895] [PATCH 2/2] gnu: mercury-minimal: Update to 22.01.4., jgart, 2022/12/08
- [bug#59895] [PATCH v2 1/2] gnu: mercury-minimal: Update to 22.01.4., jgart, 2022/12/09
  - [bug#59895] [PATCH v2 2/2] gnu: mercury: Update to 22.01.4., jgart, 2022/12/09
- [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4., Christopher Baines <=
  - [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4., jgart, 2022/12/13