[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#793194: agda: FTBFS with latest cpphs (1.19)



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                                  [ iain@orangesquash.org.uk ]
Debian Developer                                   [ laney@debian.org ]
Ubuntu Developer                                   [ laney@ubuntu.com ]

Attachment: signature.asc
Description: Digital signature


Reply to: