why3 0.88.3-2ubuntu1 source package in Ubuntu
Changelog
why3 (0.88.3-2ubuntu1) cosmic; urgency=low * Merge from Debian unstable. Remaining changes: - Skip why3+z3 test on ppc64el/s390x, as it hangs indefinitely. - Implement per-architecture handling of the why3+cvc4 autopkgtest, since cvc4 is only available on x86. * Dropped changes, included in Debian: - debian/patches/portable-getopt.patch: fix unportable assumptions in getopt_long() handling. why3 (0.88.3-2) unstable; urgency=medium * Standards-version 4.1.4 (no change). * d/copyright: https in format specification * Add patch getopt_long-return-value which fixes a portability issue (closes: #895103). Thanks a lot to Steve Langasek for the patch! -- Steve Langasek <email address hidden> Tue, 15 May 2018 16:17:06 -0700
Upload details
- Uploaded by:
- Steve Langasek
- 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-2ubuntu1.debian.tar.xz | 13.5 KiB | 89f17d1d06a559d3d9b1aa0e4970d7d35a33a3275559600b35b2b3cef086e503 |
why3_0.88.3-2ubuntu1.dsc | 2.7 KiB | af7814b7453dae80feb745f11838c454926868671e2589ca0ca05197560b299d |
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 cosmic.
No description available for why3 in ubuntu cosmic.
- why3-coq: No summary available for why3-coq in ubuntu cosmic.
No description available for why3-coq in ubuntu cosmic.
- why3-coq-dbgsym: No summary available for why3-coq-dbgsym in ubuntu cosmic.
No description available for why3-coq-dbgsym in ubuntu cosmic.
- why3-dbgsym: No summary available for why3-dbgsym in ubuntu cosmic.
No description available for why3-dbgsym in ubuntu cosmic.