Processing commands for [email protected]: > fixed 827014 2.5.1-1 Bug #827014 [src:agda] agda: B-D on cpphs (< 1.20) but sid has 1.20.1 Marked as fixed in versions agda/2.5.1-1. > close 827014 Bug #827014 [src:agda] agda: B-D on cpphs (< 1.20) but sid has 1.20.1 Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 827014: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=827014 Debian Bug Tracking System Contact [email protected] with problems _______________________________________________ Pkg-haskell-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
