why3 1.5.0-1 source package in Debian
Changelog
why3 (1.5.0-1) unstable; urgency=medium
* New upstream version.
* Refresh patch hardening-flags.
* Drop patch ocamlgraph-cma, issue has been fixed upstream.
* debian/rules: configure with option --disable-coq-libs, so that
we are sure that coq stuff is not build.
* Bump dependency on z3 to (<< 4.8.16).
* Simplify test why3+z3: drop preliminary testing of z3.
-- Ralf Treinen <email address hidden> Tue, 03 May 2022 08:00:48 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why3_1.5.0-1.dsc | 2.6 KiB | 3bae20a77e195ae39f49f97b8bfd20452cb7c047fa5f07d00475fa6130f8034d |
| why3_1.5.0.orig.tar.gz | 6.4 MiB | 1962b647e66bf4cdb457883d9d3c0ad0c421fef794589740ece355ec6f225062 |
| why3_1.5.0-1.debian.tar.xz | 17.9 KiB | 01676bd0eebf2b7808f316cc0ba61e2a373aba690de8db4a8127bc8cd512fa07 |
Available diffs
- diff from 1.4.1-2 to 1.5.0-1 (1.3 MiB)
No changes file available.
