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
_______________________________________________ Pkg-haskell-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
