Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits: b6e64d6c by Julien Puydt at 2025-10-29T00:19:13+01:00 Prepare for upload to experimental - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,8 +1,8 @@ -coq (9.1.0+dfsg-2) UNRELEASED; urgency=medium +coq (9.1.0+dfsg-2) experimental; urgency=medium * Update depends from why to why3 (Closes: #1117585). - -- Julien Puydt <[email protected]> Wed, 08 Oct 2025 10:48:08 +0200 + -- Julien Puydt <[email protected]> Wed, 29 Oct 2025 00:18:57 +0100 coq (9.1.0+dfsg-1) experimental; urgency=medium View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b6e64d6c34ce949e97ffa0e6eaba2888f11986e3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/-/commit/b6e64d6c34ce949e97ffa0e6eaba2888f11986e3 You're receiving this email because of your account on salsa.debian.org.
