Package: guix;
Reported by: Rostislav Svoboda <rostislav.svoboda <at> gmail.com>
Date: Fri, 17 Mar 2023 09:37:01 UTC
Severity: normal
To reply to this bug, email your comments to 62236 AT debbugs.gnu.org.
Toggle the display of automated, internal messages from the tracker.
View this report as an mbox folder, status mbox, maintainer mbox
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Rostislav Svoboda <rostislav.svoboda <at> gmail.com> To: bug-guix <at> gnu.org Subject: build of agda-ial-1.5.0.drv failed Date: Fri, 17 Mar 2023 10:36:10 +0100
[Message part 1 (text/plain, inline)]
[4nfd33ayqw5pb1snlf1mp3cnvrili4-agda-ial-1.5.0.drv.gz (application/gzip, attachment)]
Message #8 received at 62236 <at> debbugs.gnu.org (full text, mbox):
From: Josselin Poiret <dev <at> jpoiret.xyz> To: Rostislav Svoboda <rostislav.svoboda <at> gmail.com>, 62236 <at> debbugs.gnu.org Subject: Re: bug#62236: build of agda-ial-1.5.0.drv failed Date: Sat, 18 Mar 2023 22:30:40 +0100
[Message part 1 (text/plain, inline)]
[signature.asc (application/pgp-signature, inline)]
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.