why3 0.88.3-3ubuntu1 source package in Ubuntu
Changelog
why3 (0.88.3-3ubuntu1) cosmic; urgency=medium
* Merge from Debian unstable. Remaining changes:
- Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely.
why3 (0.88.3-3) unstable; urgency=medium
* d/control: update Vcs-* fields to salsa
* Add build-dependendency texlive-plain-generic to fix FTBFS with
texlive 2018.20180505-1 (closes: #899084)
* test why3+cvc4: skip when cvc4 is not available (closes: #895104)
-- Gianfranco Costamagna <email address hidden> Mon, 04 Jun 2018 16:01:06 +0200
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Cosmic
- Original maintainer:
- Ubuntu Developers
- 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.88.3.orig.tar.gz | 4.0 MiB | 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552 |
| why3_0.88.3-3ubuntu1.debian.tar.xz | 13.6 KiB | 1c6fd994699108dba2a268b0826ad421d1a93eb927aa866c3239b3ddfee0ac4a |
| why3_0.88.3-3ubuntu1.dsc | 2.6 KiB | 581e63ff999f47ae07e045c9c53cfa0681b6311d26132d220b886218700663ac |
Available diffs
Binary packages built by this source
- libwhy3-ocaml-dev: No summary available for libwhy3-ocaml-dev in ubuntu cosmic.
No description available for libwhy3-ocaml-dev in ubuntu cosmic.
- why3: No summary available for why3 in ubuntu eoan.
No description available for why3 in ubuntu eoan.
- why3-coq: No summary available for why3-coq in ubuntu disco.
No description available for why3-coq in ubuntu disco.
- why3-coq-dbgsym: No summary available for why3-coq-dbgsym in ubuntu eoan.
No description available for why3-coq-dbgsym in ubuntu eoan.
- why3-dbgsym: No summary available for why3-dbgsym in ubuntu eoan.
No description available for why3-dbgsym in ubuntu eoan.
- why3-doc-html: No summary available for why3-doc-html in ubuntu cosmic.
No description available for why3-doc-html in ubuntu cosmic.
- why3-doc-pdf: No summary available for why3-doc-pdf in ubuntu cosmic.
No description available for why3-doc-pdf in ubuntu cosmic.
- why3-examples: No summary available for why3-examples in ubuntu eoan.
No description available for why3-examples in ubuntu eoan.
