Processing commands for [email protected]: > # only affects sid > tags 827014 + sid Bug #827014 {Done: Sean Whitton <[email protected]>} [src:agda] agda: B-D on cpphs (< 1.20) but sid has 1.20.1 Added tag(s) sid. > 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
