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=unstable

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

Just to keep you informed.

-- 
Sean Whitton


signature.asc
Description: PGP signature
___
Pkg-haskell-maintainers mailing list
Pkg-haskell-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-haskell-maintainers

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

[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

___
Pkg-haskell-maintainers mailing list
Pkg-haskell-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-haskell-maintainers

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

[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=unstable

Andreas

___
Pkg-haskell-maintainers mailing list
Pkg-haskell-maintainers@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-haskell-maintainers