agda is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Sun Jun 19 04:39:04 UTC 2016

Previous message: reproducible.debian.net status changes for haskell98-report
Next message: haskell-monadplus 1.4.2-1 MIGRATED to testing
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: reproducible.debian.net status changes for haskell98-report
Next message: haskell-monadplus 1.4.2-1 MIGRATED to testing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pkg-haskell-maintainers mailing list