why3 0.87.1-1 source package in Ubuntu
Changelog
why3 (0.87.1-1) unstable; urgency=medium
* new upstream version
-dropped patch makefile-for-bytecode, since integrated by upstream
* added z3 prover:
- alternative dependency z3
- add package test with z3
* new patch drop-timestamp: do not include the build-timestamp in the
produced binaries.
-- Ralf Treinen <email address hidden> Wed, 08 Jun 2016 20:42:36 +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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why3_0.87.1-1.dsc | 2.5 KiB | 04806134e95a7425a049d1a95b5778a74d772c0a77f116a11fc209996dd9441a |
| why3_0.87.1.orig.tar.gz | 4.3 MiB | 8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb |
| why3_0.87.1-1.debian.tar.xz | 11.6 KiB | ca8c38b1b7475864720234b7287e5e9d8ef2775884c2ca9cc97fca2fe658f13a |
Available diffs
- diff from 0.87.0-3 to 0.87.1-1 (31.3 KiB)
No changes file available.
Binary packages built by this source
- libwhy3-ocaml-dev: No summary available for libwhy3-ocaml-dev in ubuntu yakkety.
No description available for libwhy3-ocaml-dev in ubuntu yakkety.
- why3: No summary available for why3 in ubuntu yakkety.
No description available for why3 in ubuntu yakkety.
- why3-coq: No summary available for why3-coq in ubuntu yakkety.
No description available for why3-coq in ubuntu yakkety.
- why3-coq-dbgsym: No summary available for why3-coq-dbgsym in ubuntu yakkety.
No description available for why3-coq-dbgsym in ubuntu yakkety.
- why3-dbgsym: No summary available for why3-dbgsym in ubuntu yakkety.
No description available for why3-dbgsym in ubuntu yakkety.
- why3-doc-html: No summary available for why3-doc-html in ubuntu yakkety.
No description available for why3-doc-html in ubuntu yakkety.
- why3-doc-pdf: No summary available for why3-doc-pdf in ubuntu yakkety.
No description available for why3-doc-pdf in ubuntu yakkety.
- why3-examples: No summary available for why3-examples in ubuntu yakkety.
No description available for why3-examples in ubuntu yakkety.
