Processing control commands: > affects -1 src:coqeal Bug #1041869 [libcoq-paramcoq] libcoq-paramcoq no longer depends on libcoq-stdlib-* Added indication that 1041869 affects src:coqeal
-- 1041869: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1041869 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
