Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: 76e4ed72 by Julien Puydt at 2023-12-21T14:34:45+01:00 Prepare for upload - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,4 +1,4 @@ -coq (8.18.0+dfsg-1) UNRELEASED; urgency=medium +coq (8.18.0+dfsg-1) unstable; urgency=medium [ Debian Janitor ] * Update lintian override info to new format: @@ -33,7 +33,7 @@ coq (8.18.0+dfsg-1) UNRELEASED; urgency=medium * Refresh patches. * Drop the coq-unimath workaround patch. - -- Julien Puydt <[email protected]> Tue, 26 Sep 2023 11:58:22 +0200 + -- Julien Puydt <[email protected]> Thu, 21 Dec 2023 14:34:31 +0100 coq (8.17.0+dfsg-1) unstable; urgency=medium View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/76e4ed7289bd9574c9d91a36cef38de11b3db77c -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/76e4ed7289bd9574c9d91a36cef38de11b3db77c You're receiving this email because of your account on salsa.debian.org.
