agda is marked for autoremoval from testing

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


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




More information about the Pkg-haskell-maintainers mailing list