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

Previous Next

Full log

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.