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

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 cpph

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

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 Andreas