agda is marked for autoremoval from testing
Debian testing autoremoval watch
noreply at release.debian.org
Mon Oct 22 05:39:13 BST 2018
agda 2.5.3-5 is marked for autoremoval from testing on 2018-11-27
It (build-)depends on packages with these RC bugs:
911024: haskell-monadplus: unmaintained
More information about the Pkg-haskell-maintainers
mailing list