unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
* [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4.
@ 2022-12-08  5:59 jgart via Guix-patches via
  2022-12-08  6:03 ` [bug#59895] [PATCH 1/2] gnu: mercury-minimal: " jgart via Guix-patches via
                   ` (2 more replies)
  0 siblings, 3 replies; 7+ messages in thread
From: jgart via Guix-patches via @ 2022-12-08  5:59 UTC (permalink / raw)
  To: 59895

hi,

This patch updates mercury to the latest release version. This took a while to build.

all best,

jgart




^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2022-12-13 16:25 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-08  5:59 [bug#59895] [PATCH 1/2] gnu: mercury: Update to 22.01.4 jgart via Guix-patches via
2022-12-08  6:03 ` [bug#59895] [PATCH 1/2] gnu: mercury-minimal: " jgart via Guix-patches via
2022-12-08  6:03   ` [bug#59895] [PATCH 2/2] " jgart via Guix-patches via
2022-12-10  0:00 ` [bug#59895] [PATCH v2 1/2] " jgart via Guix-patches via
2022-12-10  0:00   ` [bug#59895] [PATCH v2 2/2] gnu: mercury: " jgart via Guix-patches via
2022-12-13 13:53 ` [bug#59895] [PATCH 1/2] " Christopher Baines
2022-12-13 16:24   ` jgart via Guix-patches via

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).