Ubuntu
why3 package

why3 0.87.2-2 source package in Ubuntu

Changelog

why3 (0.87.2-2) unstable; urgency=medium

  * install why3lang.sty:
    - add to why3.install
    - add target directory to why3.dirs
    - invoke dh --with tex
    - add build-dependency on tex-common

 -- Ralf Treinen <email address hidden>  Wed, 21 Sep 2016 20:59:50 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
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.2-2.dsc 2.5 KiB 4bd36afb326887a556599f6d97a7a27fca06e1ab6f5de03447f35e156efb218d
why3_0.87.2.orig.tar.gz 4.3 MiB 593b38acc700a746ebfd740b83860b0aead6b51c09a65c678c2f094e36f49111
why3_0.87.2-2.debian.tar.xz 11.1 KiB dffcfa7b1ca4aa89202bb80277a65aa5f3e32e2748eeee868dab7a489aad5f54

No changes file available.

Binary packages built by this source

libwhy3-ocaml-dev: No summary available for libwhy3-ocaml-dev in ubuntu zesty.

No description available for libwhy3-ocaml-dev in ubuntu zesty.

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

No description available for why3-coq in ubuntu zesty.

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

No description available for why3-dbgsym in ubuntu zesty.

why3-doc-html: No summary available for why3-doc-html in ubuntu zesty.

No description available for why3-doc-html in ubuntu zesty.

why3-doc-pdf: No summary available for why3-doc-pdf in ubuntu zesty.

No description available for why3-doc-pdf in ubuntu zesty.

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

No description available for why3-examples in ubuntu zesty.