Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: 18367e09 by Julien Puydt at 2024-11-20T10:37:32+01:00 Prepare for upload - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,9 +1,9 @@ -coq (8.20.0+dfsg-1) UNRELEASED; urgency=medium +coq (8.20.0+dfsg-1) unstable; urgency=medium * New upstream release. * Refresh patches. - -- Julien Puydt <[email protected]> Mon, 16 Sep 2024 07:09:52 +0200 + -- Julien Puydt <[email protected]> Wed, 20 Nov 2024 10:37:25 +0100 coq (8.19.1+dfsg-3) unstable; urgency=medium View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/18367e093b561bad269c7ad6da1917b415d814e1 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/18367e093b561bad269c7ad6da1917b415d814e1 You're receiving this email because of your account on salsa.debian.org.
