[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/frama-c][master] 2 commits: Remove constraints unnecessary since buster (oldstable)

Title: GitLab

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:

Changes:

  • debian/changelog
    1 
    +frama-c (20220511-manganese-5) UNRELEASED; urgency=medium
    2 
    +
    3 
    +  [ Debian Janitor ]
    4 
    +  * Remove constraints unnecessary since buster (oldstable):
    5 
    +    + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
    6 
    +    + Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>=
    7 
    +      1.8.8).
    8 
    +
    9 
    + -- Stéphane Glondu <glondu@debian.org>  Tue, 15 Aug 2023 09:35:17 +0200
    10 
    +
    1 11 
     frama-c (20220511-manganese-4) unstable; urgency=medium
    2 12
    3 13 
       [ Stéphane Glondu ]

  • debian/control
    ... ... @@ -5,9 +5,9 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
    5 5 
     Uploaders: Mehdi Dogguy <mehdi@debian.org>,
    6 6 
      Ralf Treinen <treinen@debian.org>
    7 7 
     Build-Depends:
    8 
    - debhelper-compat (=13),
    8 
    + debhelper-compat (= 13),
    9 9 
      ocaml,
    10 
    - dh-ocaml (>= 0.9~),
    10 
    + dh-ocaml,
    11 11 
      graphviz,
    12 12 
      autoconf,
    13 13 
      libzarith-ocaml-dev,
    ... ... @@ -15,7 +15,7 @@ Build-Depends:
    15 15 
      libfindlib-ocaml-dev,
    16 16 
      libyojson-ocaml-dev,
    17 17 
      libwhy3-ocaml-dev (>= 1.5.0),
    18 
    - libocamlgraph-ocaml-dev (>= 1.8.8),
    18 
    + libocamlgraph-ocaml-dev,
    19 19 
      liblablgtk3-ocaml-dev (>= 3.0~beta4),
    20 20 
      liblablgtksourceview3-ocaml-dev,
    21 21 
      libppx-import-ocaml-dev,

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: