Bug#827014: agda: B-D on cpphs (< 1.20) but sid has 1.20.1

[Sean Whitton]

control: owner -1 !

Dear Andreas,

On Sat, Jun 11, 2016 at 10:46:20AM +0200, Andreas Beckmann wrote:
> Source: agda
> Version: 2.4.2.5-1
> Severity: serious
> Justification: fails to build from source (but built successfully in the past)
> 
> Hi,
> 
> agda cannot be built in sid any more sice cpphs was upgraded to 1.20.1:
> https://buildd.debian.org/status/package.php?p=agda&suite=unstable

I'm working on packaging agda 2.5.1 so this should be fixed v. soon.

Just to keep you informed.

-- 
Sean Whitton
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-maintainers/attachments/20160611/a873b8be/attachment.sig>