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 nomeata@debian.org • https://people.debian.org/~nomeata XMPP: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F https://www.joachim-breitner.de/
Attachment:
signature.asc
Description: This is a digitally signed message part