Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / prooftree
Commits: c5290b6c by Debian Janitor at 2023-01-30T13:09:35+00:00 Remove constraints unnecessary since buster (oldstable) * Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~). * prooftree: Drop versioned constraint on coq (>= 8.4) in Depends. Changes-By: deb-scrub-obsolete - - - - - a13f41b3 by Stéphane Glondu at 2023-08-14T06:33:42+00:00 Merge branch 'master' into 'scrub-obsolete' # Conflicts: # debian/changelog # debian/control - - - - - 3f6fd3f4 by Stéphane Glondu at 2023-08-14T06:34:21+00:00 Merge branch 'scrub-obsolete' into 'master' Remove unnecessary constraints See merge request ocaml-team/prooftree!2 - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -3,8 +3,11 @@ prooftree (0.13-3) UNRELEASED; urgency=medium * Use secure copyright file specification URI. * Use secure URI in Homepage field. * Bump debhelper from deprecated 9 to 10. + * Remove constraints unnecessary since buster (oldstable): + + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~). + + prooftree: Drop versioned constraint on coq (>= 8.4) in Depends. - -- Debian Janitor <[email protected]> Sun, 23 Oct 2022 04:27:48 -0000 + -- Debian Janitor <[email protected]> Mon, 30 Jan 2023 13:09:35 -0000 prooftree (0.13-2) unstable; urgency=medium ===================================== debian/control ===================================== @@ -6,7 +6,7 @@ Uploaders: Hendrik Tews <[email protected]> Build-Depends: debhelper (>= 10~), - dh-ocaml (>= 0.9~), + dh-ocaml, coq, ocaml-best-compilers, liblablgtk2-ocaml-dev @@ -19,7 +19,7 @@ Package: prooftree Architecture: any Depends: proofgeneral (>= 4.3~pre130510), - coq (>= 8.4), + coq, ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends} View it on GitLab: https://salsa.debian.org/ocaml-team/prooftree/-/compare/55fbff05200c258ed7acaf667a957368e38d5961...3f6fd3f4eaf395935e7c216e99a7eeb7f3fe56a5 -- View it on GitLab: https://salsa.debian.org/ocaml-team/prooftree/-/compare/55fbff05200c258ed7acaf667a957368e38d5961...3f6fd3f4eaf395935e7c216e99a7eeb7f3fe56a5 You're receiving this email because of your account on salsa.debian.org.
