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