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

2016-06-11 Thread 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 cpph

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

2016-06-11 Thread Debian Bug Tracking System
Processing control commands: > owner -1 ! Bug #827014 [src:agda] agda: B-D on cpphs (< 1.20) but sid has 1.20.1 Owner recorded as Sean Whitton . -- 827014: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=827014 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

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

2016-06-11 Thread Andreas Beckmann
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