Hi, Rostislav Svoboda <[email protected]> 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
