agda 2.4.2.2-4 is marked for autoremoval from testing on 2016-01-21 It (build-)depends on packages with these RC bugs: 807390: haskell-geniplate: FTBFS: At least the following dependencies are missing: template-haskell
_______________________________________________ Pkg-haskell-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
