Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits: e7cc1593 by Stephane Glondu at 2024-06-18T11:16:10+02:00 Prepare upload to unstable - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,8 +1,8 @@ -coq-doc (8.19.1-2) UNRELEASED; urgency=medium +coq-doc (8.19.1-2) unstable; urgency=medium * Call "dune build" with --release - -- Stéphane Glondu <[email protected]> Tue, 18 Jun 2024 10:21:35 +0200 + -- Stéphane Glondu <[email protected]> Tue, 18 Jun 2024 11:16:07 +0200 coq-doc (8.19.1-1) unstable; urgency=medium View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/e7cc15930da6c45bd9676bfc9013e2710aadc63e -- This project does not include diff previews in email notifications. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/e7cc15930da6c45bd9676bfc9013e2710aadc63e You're receiving this email because of your account on salsa.debian.org.
