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 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