GNU bug report logs - #38603
[WIP Mercury 0/2] Add Mercury.

Previous Next

Package: guix-patches;

Reported by: Brett Gilio <brettg <at> posteo.net>

Date: Sat, 14 Dec 2019 03:30:02 UTC

Severity: normal

Done: zimoun <zimon.toutoune <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Brett Gilio <brettg <at> gnu.org>
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: 38603 <at> debbugs.gnu.org, brettg <at> posteo.net
Subject: [bug#38603] branch master updated: gnu: Add mercury.
Date: Fri, 24 Jul 2020 14:37:25 -0500

Tobias Geerinckx-Rice <me <at> tobias.gr> writes:
>
> World's most boring x86_64 box with plenty of free space.  I'll try it
> on my laptop.
>

I am having some peers with Guix installed attempt the build using a
standard commit on the time-machine. So far I have not received any
notice of the failure. Have you gotten a result from your laptop yet?

Thanks for your help!
Brett
This bug report was last modified 3 years and 47 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.