Hi Laney, I did all uploads required for the latest version of Agda only to notice now that Agda is not one of the Darcs repos. I’m not confident using the various git packaging tools. Would you do the upload of Agda 2.4? (haskell-equivalence is still in NEW, but you can locally build it and build Agda against it if you don’t want to wait for that.) Thanks, Joachm -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part