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

[Git][ocaml-team/coq][master] Prepare for upload

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq

Commits:

  • 76e4ed72
    by Julien Puydt at 2023-12-21T14:34:45+01:00 
    Prepare for upload

1 changed file:

Changes:

  • debian/changelog
    1 
    -coq (8.18.0+dfsg-1) UNRELEASED; urgency=medium
    1 
    +coq (8.18.0+dfsg-1) unstable; urgency=medium
    2 2
    3 3 
       [ Debian Janitor ]
    4 4 
       * Update lintian override info to new format:
    ... ... @@ -33,7 +33,7 @@ coq (8.18.0+dfsg-1) UNRELEASED; urgency=medium
    33 33 
       * Refresh patches.
    34 34 
       * Drop the coq-unimath workaround patch.
    35 35
    36 
    - -- Julien Puydt <jpuydt@debian.org>  Tue, 26 Sep 2023 11:58:22 +0200
    36 
    + -- Julien Puydt <jpuydt@debian.org>  Thu, 21 Dec 2023 14:34:31 +0100
    37 37
    38 38 
     coq (8.17.0+dfsg-1) unstable; urgency=medium
    39 39

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

    Reply to: