agda 2.4.2.5-1 is marked for autoremoval from testing on 2016-07-25 It is affected by these RC bugs: 827014: agda: B-D on cpphs (< 1.20) but sid has 1.20.1
_______________________________________________ Pkg-haskell-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
