[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 11:43:04AM +0200, Hans Joachim Desserud wrote:
> Source: agda
> Version:
> 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 if anyone wants to work on that upgrade (otherwise I will


Iain Lane                                  [ iain@orangesquash.org.uk ]
Debian Developer                                   [ laney@debian.org ]
Ubuntu Developer                                   [ laney@ubuntu.com ]

Attachment: signature.asc
Description: Digital signature

Reply to: