[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
     
    


  • Reply to: