build of agda-ial-1.5.0.drv failed

  • Open
  • quality assurance status badge
Details
2 participants
  • Josselin Poiret
  • Rostislav Svoboda
Owner
unassigned
Submitted by
Rostislav Svoboda
Severity
normal
R
J
J
Josselin Poiret wrote on 18 Mar 2023 22:30
87pm956933.fsf@jpoiret.xyz
Hi,

Rostislav Svoboda <rostislav.svoboda@gmail.com> writes:

Toggle quote (3 lines)
> 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
-----BEGIN PGP SIGNATURE-----

iQHEBAEBCAAuFiEEOSSM2EHGPMM23K8vUF5AuRYXGooFAmQWLYAQHGRldkBqcG9p
cmV0Lnh5egAKCRBQXkC5FhcaiqWwC/9MgtB2gQt4Vh0vpH0zMRzBZFjGp4d36bdo
8h3WTGbo7WvI0gqbRXXxHwKeUn1ZycQyB6VIaDvM/EgjCTfILR/7h4k+u9MYbrWM
Juc7i9xzw66AFjNEqKQIpU5Lysmhofjvr7tT/Y0joNnC+HnAbrxgDf+SsPtNBiKv
zeujP7YAY63McjNeAw3wzXyFIxNKK1g8eexL9EQ8IvC/BrMc4rU5TAD5E13TPahm
tnLXBJjqTAwsiS9AyZ324aVu+JRSIdCpzqySwoKZ2AjdXnt/EjZon+lqzrHAAK3C
nunuxBQNuGJrutg1uyMQHAy/qo7qtH9MPjPWgOYk5wIqomq8Q/M6yHtrpapQsU7n
TvVG4vhG3KGhmeVxVZ/o+319lhm3L50Fpt/fmVCsOehLXqL+BNcGf1lSaBAF0hLD
nUcLYscQ6QzUf0nR0p3g18MuZ01mFHkHwX0yuFmloY85JKNYvR3s3L5fhbW3zkWQ
/YblJ/xhikmQy8jzOV8QEnnAw2MWdkc=
=nZXM
-----END PGP SIGNATURE-----

?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send an email to 62236@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 62236
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch