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