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. 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. Cheers, -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ]
signature.asc
Description: Digital signature