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 [ [email protected] ] Debian Developer [ [email protected] ] Ubuntu Developer [ [email protected] ]
signature.asc
Description: Digital signature
