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
Attachment:
signature.asc
Description: PGP signature