Hi Laney, would you mind uploading Agda-2.4.2.2? If not all dependencies are installable on unstable right now, let me know.
Thanks, Joachim -- Joachim "nomeata" Breitner Debian Developer [email protected] | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
