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