Processed: Re: Accepted coq 9.2.0+dfsg-2 (source amd64) into unstable
"Debian Bug Tracking System" <[email protected]>
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
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