Hi, at the summer school in Oregon I was not able to use Agda as shipped by Debian, as it is an older version, so I looked into what it takes to upgrade to Agda 2.4, and one thing it needs is QuickCheck 2.7. Unfortunately, there are a bunch of packages depending on QuickCheck <2.7: ChasingBottoms Cabal And a few that need to be upgraded to versions supporting QuickCheck 2.7: blaze-html blaze-markup blaze-svg But these upgrades break further packages, like gitit. At this point I’m giving up for now, and hope that eventually, upstream has sorted this out. (Maybe we should “strongly encourage” our upstream to join stackage, so that they find such problems themselves earlier.) Greetings, Joachim -- 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