Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
d7d807bb
by Julien Puydt at 2022-02-06T18:14:00+01:00
-
1d8c6351
by Julien Puydt at 2022-02-06T18:14:09+01:00
2 changed files:
Changes:
| 1 |
+ssreflect (1.14.0-5) unstable; urgency=medium
|
|
| 2 |
+ |
|
| 3 |
+ * Fix libcoq-mathcomp's doc-base.
|
|
| 4 |
+ |
|
| 5 |
+ -- Julien Puydt <jpuydt@debian.org> Sun, 06 Feb 2022 18:14:01 +0100
|
|
| 6 |
+ |
|
| 1 | 7 |
ssreflect (1.14.0-4) unstable; urgency=medium
|
| 2 | 8 |
|
| 3 | 9 |
* Split in binary packages following upstream.
|
| ... | ... | @@ -5,5 +5,5 @@ Abstract: This is the coqdoc-generated documentation for Mathematical Components |
| 5 | 5 |
Section: Science/Mathematics
|
| 6 | 6 |
|
| 7 | 7 |
Format: HTML
|
| 8 |
-Index: /usr/share/doc/libssreflect-coq/htmldoc/index.html
|
|
| 9 |
-Files: /usr/share/doc/libssreflect-coq/htmldoc/*.html
|
|
| 8 |
+Index: /usr/share/doc/libcoq-mathcomp/htmldoc/index.html
|
|
| 9 |
+Files: /usr/share/doc/libcoq-mathcomp/htmldoc/*.html
|