Bug#1003586: marked as pending in coq
Control: tag -1 pending
Hello,
Bug #1003586 in coq reported by you has been fixed in the
Git repository and is awaiting an upload. You can see the commit
message below and you can check the diff of the fix at:
https://salsa.debian.org/ocaml-team/coq/-/commit/3b65a107b8a2347a2c5a9971e14a315507c32953
------------------------------------------------------------------------
Package new upstream 8.15.0 (Closes: #1003586)
------------------------------------------------------------------------
(this message was generated automatically)
--
Greetings
https://bugs.debian.org/1003586
Reply to: