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

Previous Next

To reply to this bug, email your comments to 62236 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

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)]

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)]

Hi,

Rostislav Svoboda <rostislav.svoboda <at> gmail.com> writes:

> Hello, the log is in the attachment.
> Cheers Bost

agda-ial is from 2018, so I guess there's no chance it would typecheck
with current Agda.  There doesn't seem to be a new release upstream.
Maybe we could remove the package, or ask upstream if they plan on
releasing a new version for Agda 2.6.3 (which hasn't landed in Guix
yet).

Best,
-- 
Josselin Poiret

[signature.asc (application/pgp-signature, inline)]

Previous Next

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