Ubuntu
why3 package

why3 0.87.1-2build1 source package in Ubuntu

Changelog

why3 (0.87.1-2build1) yakkety; urgency=medium

  * No-change rebuild for ocaml ABIs.

 -- Matthias Klose <email address hidden>  Fri, 02 Sep 2016 12:11:03 +0000

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Yakkety
Original maintainer:
Debian OCaml Maintainers
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.87.1.orig.tar.gz 4.3 MiB 8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb
why3_0.87.1-2build1.debian.tar.xz 11.8 KiB 54bda8f5a84ce903162588ae2808033836c14a7cf78c3e0766b6e824bd747f7f
why3_0.87.1-2build1.dsc 2.6 KiB 2d089f53d946c0fe5a4a761d2a0a00a43935c9b997bf5bdc0af7ec06caa36188

View changes file

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 zesty.

No description available for why3 in ubuntu zesty.

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 zesty.

No description available for why3-coq-dbgsym in ubuntu zesty.

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.