Ubuntu
why3 package

why3 0.87.1-1build1 source package in Ubuntu

Changelog

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

  * No-change rebuild against libcoq-ocaml-cib06

 -- Steve Langasek <email address hidden>  Sun, 10 Jul 2016 07:50:28 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Yakkety
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.87.1.orig.tar.gz 4.3 MiB 8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb
why3_0.87.1-1build1.debian.tar.xz 11.8 KiB 838bcdc0a87358ef2077b5dc62b1380385e8077696ffa6aa77ab3c242675c277
why3_0.87.1-1build1.dsc 2.6 KiB 5f608d1aec0dd7e60c134ba4118aa4e8e39c4f2170ad6de4f54067fdbb45e94f

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

No description available for why3 in ubuntu yakkety.

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

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

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.