Processing control commands: > owner -1 ! Bug #827014 [src:agda] agda: B-D on cpphs (< 1.20) but sid has 1.20.1 Owner recorded as Sean Whitton <spwhit...@spwhitton.name>.
-- 827014: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=827014 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
