Ubuntu
why3 package

why3 0.88.3-1ubuntu4 source package in Ubuntu

Changelog

why3 (0.88.3-1ubuntu4) bionic; urgency=medium

  * Implement proper per-architecture handling of the why3+cvc4 autopkgtest.

 -- Steve Langasek <email address hidden>  Fri, 06 Apr 2018 18:32:36 -0700

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Downloads

File Size SHA-256 Checksum
why3_0.88.3.orig.tar.gz 4.0 MiB 3e6afd141800dce4d722794378e3eb8a9a05a06f8e51d520ff72159a3c6e3552
why3_0.88.3-1ubuntu4.debian.tar.xz 13.4 KiB f41b8621646073fc9994f48cf21e506e5117ca7b7e4cd1a3cf807d40e3cbdd7d
why3_0.88.3-1ubuntu4.dsc 2.7 KiB e4b57afc4819dd83cbf9ee2b3f42286421a9a7c11f173ee64ba136438197475c

View changes file

Binary packages built by this source

libwhy3-ocaml-dev: OCaml librariries for why3 (dev)

 This package contains the libraries of the why3 verification platform
 for developing applications using why3.

why3: No summary available for why3 in ubuntu cosmic.

No description available for why3 in ubuntu cosmic.

why3-coq: Coq support for the why3 verification platform

 This package contains the compiled coq files that are necessary to
 use the coq proof assistant together with the why3 deductive
 verification platform, as well as the why3 tactic for coq.

why3-coq-dbgsym: debug symbols for why3-coq
why3-dbgsym: No summary available for why3-dbgsym in ubuntu cosmic.

No description available for why3-dbgsym in ubuntu cosmic.

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: PDF Documentation of the why3 verification platform

 This package contains the tutorial and reference manual of the
 why3 verification platform in PDF format.

why3-examples: No summary available for why3-examples in ubuntu cosmic.

No description available for why3-examples in ubuntu cosmic.