Subject: bug#62236: build of agda-ial-1.5.0.drv failed

From: Josselin Poiret <[email-masked]>
Date: Sat, 18 Mar 2023 22:30:40 +0100

Hi,

Rostislav Svoboda <[email-masked]> 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