Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq
Commits: b838bf7f by Stephane Glondu at 2024-06-15T07:57:29+02:00 Prepare upload to unstable - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,8 +1,8 @@ -coq (8.19.1+dfsg-2) UNRELEASED; urgency=medium +coq (8.19.1+dfsg-2) unstable; urgency=medium * Call "dune build" with "--release" to avoid failure on warnings - -- Stéphane Glondu <[email protected]> Fri, 14 Jun 2024 14:48:38 +0200 + -- Stéphane Glondu <[email protected]> Sat, 15 Jun 2024 07:57:25 +0200 coq (8.19.1+dfsg-1) unstable; urgency=medium View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b838bf7fa873f7d5d20b17a966f7de42f5e57488 -- This project does not include diff previews in email notifications. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b838bf7fa873f7d5d20b17a966f7de42f5e57488 You're receiving this email because of your account on salsa.debian.org.
