Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: fb52239e by Julien Puydt at 2022-02-06T08:55:13+01:00 Depend on the coq library under its new name - - - - - 2beb6080 by Julien Puydt at 2022-02-06T08:56:04+01:00 Prepare for upload - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +ssreflect (1.14.0-3) unstable; urgency=medium + + * Depend on the coq library under its new name. + + -- Julien Puydt <[email protected]> Sun, 06 Feb 2022 08:55:54 +0100 + ssreflect (1.14.0-2) unstable; urgency=medium * Make the package auto-adapt to coq's layout. ===================================== debian/control ===================================== @@ -18,7 +18,7 @@ Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git Package: libssreflect-coq Architecture: all Depends: - libcoq-ocaml, + libcoq-core-ocaml, coq-${F:CoqABI}, ${misc:Depends} Provides: ssreflect, libmathcomp-coq View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/17902e20edf6ff1dc54011d036794782173a0754...2beb6080dd9683fdbea9be9c4970b7654b4b260e -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/17902e20edf6ff1dc54011d036794782173a0754...2beb6080dd9683fdbea9be9c4970b7654b4b260e You're receiving this email because of your account on salsa.debian.org.
