Processing control commands: > affects -1 + libcoq-mathcomp-analysis Bug #1050027 [libcoq-mathcomp-classical] libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie Added indication that 1050027 affects libcoq-mathcomp-analysis
-- 1050027: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050027 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
