[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62236: build of agda-ial-1.5.0.drv failed
From: |
Josselin Poiret |
Subject: |
bug#62236: build of agda-ial-1.5.0.drv failed |
Date: |
Sat, 18 Mar 2023 22:30:40 +0100 |
Hi,
Rostislav Svoboda <rostislav.svoboda@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
Description: PGP signature