Ubuntu
why3 package

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 Pocket 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

View changes file

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.