agda is marked for autoremoval from testing

Debian testing autoremoval watch noreply at release.debian.org
Sun Nov 11 04:39:03 GMT 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