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

[Git][ocaml-team/prooftree][master] Prepare upload to unstable

Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / prooftree

Commits:

  • ea569584
    by Stephane Glondu at 2023-08-17T15:25:14+02:00 
    Prepare upload to unstable

1 changed file:

Changes:

  • debian/changelog
    1 
    -prooftree (0.13-3) UNRELEASED; urgency=medium
    1 
    +prooftree (0.13-3) unstable; urgency=medium
    2 2
    3 3 
       [ Stéphane Glondu ]
    4 
    +  * Team upload
    4 5 
       * Remove Hendrik from Uploaders
    5 6 
       * Bump debhelper compat level to 13
    6 7 
       * Add Rules-Requires-Root: no
    ... ... @@ -13,7 +14,7 @@ prooftree (0.13-3) UNRELEASED; urgency=medium
    13 14 
         + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
    14 15 
         + prooftree: Drop versioned constraint on coq (>= 8.4) in Depends.
    15 16
    16 
    - -- Debian Janitor <janitor@jelmer.uk>  Mon, 30 Jan 2023 13:09:35 -0000
    17 
    + -- Stéphane Glondu <glondu@debian.org>  Thu, 17 Aug 2023 15:25:05 +0200
    17 18
    18 19 
     prooftree (0.13-2) unstable; urgency=medium
    19 20

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

    Reply to: