Processing control commands:
> reopen -1
Bug #1050027 {Done: Julien Puydt <jpu...@debian.org>}
[libcoq-mathcomp-classical] libcoq-mathcomp-classical: undeclared file conflict
with libcoq-mathcomp-analysis/bookworm+trixie
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions mathcomp-analysis/0.6.4-2.
> found -1 mathcomp-analysis/0.6.4-2
Bug #1050027 [libcoq-mathcomp-classical] libcoq-mathcomp-classical: undeclared
file conflict with libcoq-mathcomp-analysis/bookworm+trixie
The source mathcomp-analysis and version 0.6.4-2 do not appear to match any
binary packages
Marked as found in versions mathcomp-analysis/0.6.4-2.
--
1050027: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050027
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
