Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: b8eca6e6 by Stephane Glondu at 2025-12-26T22:07:07+01:00 Prepare upload to unstable - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,8 +1,9 @@ -hol-light (1:3.1.0-2) UNRELEASED; urgency=medium +hol-light (1:3.1.0-2) unstable; urgency=medium + * Team upload * Support OCaml 5.4 - -- Stéphane Glondu <[email protected]> Sat, 20 Dec 2025 04:17:54 +0100 + -- Stéphane Glondu <[email protected]> Fri, 26 Dec 2025 22:07:03 +0100 hol-light (1:3.1.0-1) unstable; urgency=medium View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/b8eca6e63d3d0f89c35972df3fc24bcce236fffe -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/b8eca6e63d3d0f89c35972df3fc24bcce236fffe You're receiving this email because of your account on salsa.debian.org.
