Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / frama-c
Commits: 9bf8c252 by Debian Janitor at 2022-12-28T21:02:01+00:00 Remove constraints unnecessary since buster (oldstable) * Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~). * Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>= 1.8.8). Changes-By: deb-scrub-obsolete - - - - - dc1b2ae1 by Stephane Glondu at 2023-08-15T09:35:38+02:00 Merge branch 'frama-c-scrub-obsolete' - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,13 @@ +frama-c (20220511-manganese-5) UNRELEASED; urgency=medium + + [ Debian Janitor ] + * Remove constraints unnecessary since buster (oldstable): + + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~). + + Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>= + 1.8.8). + + -- Stéphane Glondu <[email protected]> Tue, 15 Aug 2023 09:35:17 +0200 + frama-c (20220511-manganese-4) unstable; urgency=medium [ Stéphane Glondu ] ===================================== debian/control ===================================== @@ -5,9 +5,9 @@ Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Mehdi Dogguy <[email protected]>, Ralf Treinen <[email protected]> Build-Depends: - debhelper-compat (=13), + debhelper-compat (= 13), ocaml, - dh-ocaml (>= 0.9~), + dh-ocaml, graphviz, autoconf, libzarith-ocaml-dev, @@ -15,7 +15,7 @@ Build-Depends: libfindlib-ocaml-dev, libyojson-ocaml-dev, libwhy3-ocaml-dev (>= 1.5.0), - libocamlgraph-ocaml-dev (>= 1.8.8), + libocamlgraph-ocaml-dev, liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev, libppx-import-ocaml-dev, View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/da74003880532e9d730d83cf99152d38d01ce443...dc1b2ae193badfb4379887cb9df799e0821ab2e6 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/compare/da74003880532e9d730d83cf99152d38d01ce443...dc1b2ae193badfb4379887cb9df799e0821ab2e6 You're receiving this email because of your account on salsa.debian.org.
