Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / prooftree
Commits:
ea569584 by Stephane Glondu at 2023-08-17T15:25:14+02:00
Prepare upload to unstable
- - - - -
1 changed file:
- debian/changelog
Changes:
=====================================
debian/changelog
=====================================
@@ -1,6 +1,7 @@
-prooftree (0.13-3) UNRELEASED; urgency=medium
+prooftree (0.13-3) unstable; urgency=medium
[ Stéphane Glondu ]
+ * Team upload
* Remove Hendrik from Uploaders
* Bump debhelper compat level to 13
* Add Rules-Requires-Root: no
@@ -13,7 +14,7 @@ prooftree (0.13-3) UNRELEASED; urgency=medium
+ Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
+ prooftree: Drop versioned constraint on coq (>= 8.4) in Depends.
- -- Debian Janitor <jani...@jelmer.uk> Mon, 30 Jan 2023 13:09:35 -0000
+ -- Stéphane Glondu <glo...@debian.org> Thu, 17 Aug 2023 15:25:05 +0200
prooftree (0.13-2) unstable; urgency=medium
View it on GitLab:
https://salsa.debian.org/ocaml-team/prooftree/-/commit/ea569584e9cefd3d80b27a69d2977fdb6e721d07
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/prooftree/-/commit/ea569584e9cefd3d80b27a69d2977fdb6e721d07
You're receiving this email because of your account on salsa.debian.org.
