Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: d7d807bb by Julien Puydt at 2022-02-06T18:14:00+01:00 Fix libcoq-mathcomp's doc-base - - - - - 1d8c6351 by Julien Puydt at 2022-02-06T18:14:09+01:00 Prepare for upload - - - - - 2 changed files: - debian/changelog - debian/libcoq-mathcomp.doc-base Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +ssreflect (1.14.0-5) unstable; urgency=medium + + * Fix libcoq-mathcomp's doc-base. + + -- Julien Puydt <[email protected]> Sun, 06 Feb 2022 18:14:01 +0100 + ssreflect (1.14.0-4) unstable; urgency=medium * Split in binary packages following upstream. ===================================== debian/libcoq-mathcomp.doc-base ===================================== @@ -5,5 +5,5 @@ Abstract: This is the coqdoc-generated documentation for Mathematical Components Section: Science/Mathematics Format: HTML -Index: /usr/share/doc/libssreflect-coq/htmldoc/index.html -Files: /usr/share/doc/libssreflect-coq/htmldoc/*.html +Index: /usr/share/doc/libcoq-mathcomp/htmldoc/index.html +Files: /usr/share/doc/libcoq-mathcomp/htmldoc/*.html View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/bfea753b9cd6a7c617cdb0a0bb40e7372c279038...1d8c6351f18973ea1cb7f91afc0ca6303e8d09e8 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/bfea753b9cd6a7c617cdb0a0bb40e7372c279038...1d8c6351f18973ea1cb7f91afc0ca6303e8d09e8 You're receiving this email because of your account on salsa.debian.org.
