[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:

  • b8eca6e6
    by Stephane Glondu at 2025-12-26T22:07:07+01:00 
    Prepare upload to unstable

1 changed file:

Changes:

  • debian/changelog
    1 
    -hol-light (1:3.1.0-2) UNRELEASED; urgency=medium
    1 
    +hol-light (1:3.1.0-2) unstable; urgency=medium
    2 2
    3 
    +  * Team upload
    3 4 
       * Support OCaml 5.4
    4 5
    5 
    - -- Stéphane Glondu <glondu@debian.org>  Sat, 20 Dec 2025 04:17:54 +0100
    6 
    + -- Stéphane Glondu <glondu@debian.org>  Fri, 26 Dec 2025 22:07:03 +0100
    6 7
    7 8 
     hol-light (1:3.1.0-1) unstable; urgency=medium
    8 9

    • —
    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/b8eca6e63d3d0f89c35972df3fc24bcce236fffe at 1766783294

    Reply to: