Dear Nils, in order to upgrade Agda in Debian, we need to upgrade QuickCheck to 2.7. And one of the packages having a dependency < 2.7 on QuickCheck is ChasingBottoms. Would you mind doing an updated release of it to hackage?
Joining stackage@ is, by the way, a very good way to stay on top of these issues early. You might want to consider that for ChasingBottoms, and maybe also for Agda. Greetings, Joachim ยน https://github.com/fpco/stackage#get-your-package-included -- 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
