Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / why3
Commits: 1ad400d0 by Ralf Treinen at 2024-08-12T10:56:44+02:00 New upstream version 1.7.2 - - - - - 16bac251 by Ralf Treinen at 2024-12-28T02:05:12+01:00 New upstream version 1.8.0 - - - - - 7de60b4e by Ralf Treinen at 2025-01-01T16:25:07+01:00 New upstream version 1.8.0 - - - - - 08083df1 by Stephane Glondu at 2025-02-02T07:46:28+01:00 Merge tag 'upstream/1.8.0' Upstream version 1.8.0 - - - - - f5aae687 by Stephane Glondu at 2025-02-02T07:46:53+01:00 Add Breaks+Replaces to avoid file conflict (Closes: #1093827) - - - - - b6965561 by Stephane Glondu at 2025-02-02T07:46:53+01:00 Update changelog and prepare upload to unstable - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,10 @@ +why3 (1.8.0-2) unstable; urgency=medium + + * Team upload + * Add Breaks+Replaces to avoid file conflict (Closes: #1093827) + + -- Stéphane Glondu <[email protected]> Sun, 02 Feb 2025 07:37:18 +0100 + why3 (1.8.0-1) unstable; urgency=medium * New upstream release. ===================================== debian/control ===================================== @@ -39,6 +39,8 @@ Depends: ${misc:Depends}, Recommends: cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14) Suggests: why3-examples +Breaks: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8) +Replaces: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8) Description: Software verification platform Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/4b2a16b39332971449725c295efb57d30472c76c...b69655619824c33cfed043bddc67c0a457f7bf6f -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/compare/4b2a16b39332971449725c295efb57d30472c76c...b69655619824c33cfed043bddc67c0a457f7bf6f You're receiving this email because of your account on salsa.debian.org.
