Hi, since Agda does not live with the other packages, I forgot about it. Does anyone feel like upgrading it to 2.5.1?
Thanks, Joachim -- Joachim “nomeata” Breitner Debian Developer [email protected] • https://people.debian.org/~nomeata XMPP: [email protected] • GPG-Key: 0xF0FBF51F https://www.joachim-breitner.de/
signature.asc
Description: This is a digitally signed message part
