GNU bug report logs - #62236
build of agda-ial-1.5.0.drv failed

Previous Next

Package: guix;

Reported by: Rostislav Svoboda <rostislav.svoboda <at> gmail.com>

Date: Fri, 17 Mar 2023 09:37:01 UTC

Severity: normal

Full log

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)]
Hello, the log is in the attachment.
Cheers Bost

[4nfd33ayqw5pb1snlf1mp3cnvrili4-agda-ial-1.5.0.drv.gz (application/gzip, attachment)]
This bug report was last modified 2 years and 89 days ago.

Previous Next

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