agda is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Sat Jul 9 04:39:03 UTC 2016

Previous message: Bug#830477: Removed package(s) from unstable
Next message: Bug#830540: gitit: FTBFS on arm64: /usr/bin/ld.gold: internal error in fix_errata, at ../../gold/aarch64.cc:1958
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

agda 2.4.2.5-1 is marked for autoremoval from testing on 2016-07-25

It is affected by these RC bugs:
827014: agda: B-D on cpphs (< 1.20) but sid has 1.20.1

Previous message: Bug#830477: Removed package(s) from unstable
Next message: Bug#830540: gitit: FTBFS on arm64: /usr/bin/ld.gold: internal error in fix_errata, at ../../gold/aarch64.cc:1958
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-haskell-maintainers mailing list