Processing commands for [email protected]: > reopen 1044637 Bug #1044637 {Done: Julien Puydt <[email protected]>} [src:coq] coq: Fails to build source after successful build '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 coq/9.2.0+dfsg-2 and coq/8.18.0+dfsg-1. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1044637: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044637 Debian Bug Tracking System Contact [email protected] with problems
