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

[Git][ocaml-team/prooftree][master] 3 commits: Remove constraints unnecessary since buster (oldstable)

Title: GitLab

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:

Changes:

  • debian/changelog
    ... ... @@ -3,8 +3,11 @@ prooftree (0.13-3) UNRELEASED; urgency=medium
    3 3 
       * Use secure copyright file specification URI.
    4 4 
       * Use secure URI in Homepage field.
    5 5 
       * Bump debhelper from deprecated 9 to 10.
    6 
    +  * Remove constraints unnecessary since buster (oldstable):
    7 
    +    + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
    8 
    +    + prooftree: Drop versioned constraint on coq (>= 8.4) in Depends.
    6 9
    7 
    - -- Debian Janitor <janitor@jelmer.uk>  Sun, 23 Oct 2022 04:27:48 -0000
    10 
    + -- Debian Janitor <janitor@jelmer.uk>  Mon, 30 Jan 2023 13:09:35 -0000
    8 11
    9 12 
     prooftree (0.13-2) unstable; urgency=medium
    10 13

  • debian/control
    ... ... @@ -6,7 +6,7 @@ Uploaders:
    6 6 
      Hendrik Tews <hendrik@askra.de>
    7 7 
     Build-Depends:
    8 8 
      debhelper (>= 10~),
    9 
    - dh-ocaml (>= 0.9~),
    9 
    + dh-ocaml,
    10 10 
      coq,
    11 11 
      ocaml-best-compilers,
    12 12 
      liblablgtk2-ocaml-dev
    ... ... @@ -19,7 +19,7 @@ Package: prooftree
    19 19 
     Architecture: any
    20 20 
     Depends:
    21 21 
      proofgeneral (>= 4.3~pre130510),
    22 
    - coq (>= 8.4),
    22 
    + coq,
    23 23 
      ${ocaml:Depends},
    24 24 
      ${shlibs:Depends},
    25 25 
      ${misc:Depends}

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

    Reply to: