Bug#1143293: marked as pending in coq-doc
Julien Puydt <[email protected]> Mon, 03 Aug 2026 13:51:27 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <6a709cdfb231f_610106824815__2935.31751246832$1785765210$gmane$org@godard.mail> |
Control: tag -1 pending Hello, Bug #1143293 in coq-doc 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-doc/-/commit/b64c520d8f815657f72d075e3a01acaf9d3835b9 ------------------------------------------------------------------------ Package new upstream release 9.2.0 (Closes: #1143293) ------------------------------------------------------------------------ (this message was generated automatically)