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

[Git][ocaml-team/why3][master] upload to unstable

Title: GitLab

Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3

Commits:

  • 4b2a16b3
    by Ralf Treinen at 2025-01-22T21:27:43+01:00 
    upload to unstable

1 changed file:

Changes:

  • debian/changelog
    1 
    -why3 (1.8.0-1) UNRELEASED; urgency=medium
    1 
    +why3 (1.8.0-1) unstable; urgency=medium
    2 2
    3 3 
       * New upstream release.
    4 4 
       * Stop building the documentation packages:
    ... ... @@ -13,7 +13,7 @@ why3 (1.8.0-1) UNRELEASED; urgency=medium
    13 13 
         - add cvc5 << 1.3
    14 14 
       * Add an as-installed test with cvc5
    15 15
    16 
    - -- Ralf Treinen <treinen@debian.org>  Mon, 20 Jan 2025 19:36:04 +0100
    16 
    + -- Ralf Treinen <treinen@debian.org>  Wed, 22 Jan 2025 21:27:21 +0100
    17 17
    18 18 
     why3 (1.7.2-2) unstable; urgency=medium
    19 19

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

    Reply to: