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
-
16bac251
by Ralf Treinen at 2024-12-28T02:05:12+01:00
-
7de60b4e
by Ralf Treinen at 2025-01-01T16:25:07+01:00
-
08083df1
by Stephane Glondu at 2025-02-02T07:46:28+01:00
-
f5aae687
by Stephane Glondu at 2025-02-02T07:46:53+01:00
-
b6965561
by Stephane Glondu at 2025-02-02T07:46:53+01:00
2 changed files:
Changes:
| 1 | +why3 (1.8.0-2) unstable; urgency=medium
|
|
| 2 | + |
|
| 3 | + * Team upload
|
|
| 4 | + * Add Breaks+Replaces to avoid file conflict (Closes: #1093827)
|
|
| 5 | + |
|
| 6 | + -- Stéphane Glondu <glondu@debian.org> Sun, 02 Feb 2025 07:37:18 +0100
|
|
| 7 | + |
|
| 1 | 8 | why3 (1.8.0-1) unstable; urgency=medium
|
| 2 | 9 | |
| 3 | 10 | * New upstream release.
|
| ... | ... | @@ -39,6 +39,8 @@ Depends: |
| 39 | 39 | ${misc:Depends},
|
| 40 | 40 | Recommends: cvc4 (<< 1.9) | cvc5 (<< 1.3) | spass | z3 (<< 4.14)
|
| 41 | 41 | Suggests: why3-examples
|
| 42 | +Breaks: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8)
|
|
| 43 | +Replaces: libwhy3-ocaml-dev (<< 1.8), why3-coq (<< 1.8)
|
|
| 42 | 44 | Description: Software verification platform
|
| 43 | 45 | Why3 is a platform for deductive program verification. It provides a
|
| 44 | 46 | rich language for specification and programming, called WhyML, and
|