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

[Joachim Breitner]

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
  nomeata at debian.org | ICQ# 74513189 | GPG-Keyid: F0FBF51F
  JID: nomeata at joachim-breitner.de | http://people.debian.org/~nomeata
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-maintainers/attachments/20150731/1ff345c6/attachment-0001.sig>