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