Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits:
4b2a16b3 by Ralf Treinen at 2025-01-22T21:27:43+01:00
upload to unstable
- - - - -
1 changed file:
- debian/changelog
Changes:
=====================================
debian/changelog
=====================================
@@ -1,4 +1,4 @@
-why3 (1.8.0-1) UNRELEASED; urgency=medium
+why3 (1.8.0-1) unstable; urgency=medium
* New upstream release.
* Stop building the documentation packages:
@@ -13,7 +13,7 @@ why3 (1.8.0-1) UNRELEASED; urgency=medium
- add cvc5 << 1.3
* Add an as-installed test with cvc5
- -- Ralf Treinen <[email protected]> Mon, 20 Jan 2025 19:36:04 +0100
+ -- Ralf Treinen <[email protected]> Wed, 22 Jan 2025 21:27:21 +0100
why3 (1.7.2-2) unstable; urgency=medium
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/commit/4b2a16b39332971449725c295efb57d30472c76c
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/why3/-/commit/4b2a16b39332971449725c295efb57d30472c76c
You're receiving this email because of your account on salsa.debian.org.
