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.


Reply via email to