Hi, Am Freitag, den 31.07.2015, 12:30 +0100 schrieb Iain Lane: > On Wed, Jul 22, 2015 at 10:55:13AM +0100, Iain Lane wrote: > > On Wed, Jul 22, 2015 at 11:43:04AM +0200, Hans Joachim Desserud > > wrote: > > > Source: agda > > > Version: 2.4.2.2-3 > > > Severity: important > > > > > > Dear Maintainer, > > > > > > You may already be aware of this, but agda fails to build from source > > > with the latest packaged version of cpphs. > > > > > > Build dependencies in the control file state that agda requires: > > > cpphs (>= 1.18.6), > > > cpphs (<< 1.19), > > > > The restriction is specified in Agda's cabal file. It looks to be fixed > > in 2.4.2.3 if anyone wants to work on that upgrade (otherwise I will > > soon-ish). > > By way of update: I looked at this. In addition to the cpphs bump we > have to bump at least QuickCheck which then cascades to a few other > packages.
ugh, how unfortunate. That would go against our policy of tracking LTS releases. I really wish Agda would simply take part in stackage as well: https://github.com/fpco/stackage/pull/520 > I'm having trouble finding the time to do this - perhaps someone else > could. Or it might be that there's a cherry-pick or two to get > 2.4.2.2 > working with cpphs 1.19 which we could take as a stopgap. Or we can simply let it sit there until we start upgrading to GHC-7.10 and LTS-3, which we should start working on real soon. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part