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

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

Title: GitLab

Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / hol-light

Commits:

  • 8a0cc4f8
    by Stephane Glondu at 2025-12-20T03:58:22+01:00 
    Prepare upload to unstable

1 changed file:

Changes:

  • debian/changelog
    1 
    -hol-light (1:3.1.0-1) UNRELEASED; urgency=medium
    1 
    +hol-light (1:3.1.0-1) unstable; urgency=medium
    2 2
    3 
    +  * Team upload
    3 4 
       * New upstream release
    4 5 
       * Switch debian/watch to version 5
    5 6 
       * Bump Standards-Version to 4.7.2
    6 7 
       * Remove Rules-Requires-Root
    7 8
    8 
    - -- Stéphane Glondu <glondu@debian.org>  Sat, 20 Dec 2025 03:39:38 +0100
    9 
    + -- Stéphane Glondu <glondu@debian.org>  Sat, 20 Dec 2025 03:58:13 +0100
    9 10
    10 11 
     hol-light (1:3.0.0-2) unstable; urgency=medium
    11 12

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help Notification message regarding https://salsa.debian.org/ocaml-team/hol-light/-/commit/8a0cc4f8de18a44cf2dddbd93ad1152e25f0622e at 1766199698

    Reply to: