Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: 8a0cc4f8 by Stephane Glondu at 2025-12-20T03:58:22+01:00 Prepare upload to unstable - - - - - 1 changed file: - debian/changelog Changes: ===================================== debian/changelog ===================================== @@ -1,11 +1,12 @@ -hol-light (1:3.1.0-1) UNRELEASED; urgency=medium +hol-light (1:3.1.0-1) unstable; urgency=medium + * Team upload * New upstream release * Switch debian/watch to version 5 * Bump Standards-Version to 4.7.2 * Remove Rules-Requires-Root - -- Stéphane Glondu <[email protected]> Sat, 20 Dec 2025 03:39:38 +0100 + -- Stéphane Glondu <[email protected]> Sat, 20 Dec 2025 03:58:13 +0100 hol-light (1:3.0.0-2) unstable; urgency=medium View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/8a0cc4f8de18a44cf2dddbd93ad1152e25f0622e -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/8a0cc4f8de18a44cf2dddbd93ad1152e25f0622e You're receiving this email because of your account on salsa.debian.org.
