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