why3 1.2.0-1 source package in Ubuntu
Changelog
why3 (1.2.0-1) unstable; urgency=medium * New upstream version * Also build the library in bytecode * libwhy3-ocaml-dev: add Suggests:ocaml-findlib * Re-activate building of the ide, now using lablgtk3 -- Ralf Treinen <email address hidden> Fri, 15 Feb 2019 08:19:55 +0100
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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
why3_1.2.0-1.dsc | 2.6 KiB | 479653bf5ead837ef05c3da47bb8a0f09fef19a655da72c59fdbaf2969d4d21c |
why3_1.2.0.orig.tar.gz | 5.7 MiB | 888c09fbad8d5c83b3c23ebc8d89fcb9c535cc3ee2cb8c3752329c086500e077 |
why3_1.2.0-1.debian.tar.xz | 15.9 KiB | c30d82a0d0bab23869fad16cb1b6e788ba525de3c3aa1c36ef8fd4a88880ea9d |
Available diffs
- diff from 1.1.1-4 to 1.2.0-1 (336.6 KiB)
No changes file available.
Binary packages built by this source
- libwhy3-ocaml-dev: No summary available for libwhy3-ocaml-dev in ubuntu eoan.
No description available for libwhy3-ocaml-dev in ubuntu eoan.
- libwhy3-ocaml-dev-dbgsym: No summary available for libwhy3-ocaml-dev-dbgsym in ubuntu eoan.
No description available for libwhy3-
ocaml-dev- dbgsym in ubuntu eoan.
- why3: No summary available for why3 in ubuntu eoan.
No description available for why3 in ubuntu eoan.
- why3-coq: No summary available for why3-coq in ubuntu eoan.
No description available for why3-coq in ubuntu eoan.
- why3-dbgsym: No summary available for why3-dbgsym in ubuntu disco.
No description available for why3-dbgsym in ubuntu disco.
- why3-doc-html: No summary available for why3-doc-html in ubuntu eoan.
No description available for why3-doc-html in ubuntu eoan.
- why3-doc-pdf: No summary available for why3-doc-pdf in ubuntu eoan.
No description available for why3-doc-pdf in ubuntu eoan.
- why3-examples: No summary available for why3-examples in ubuntu disco.
No description available for why3-examples in ubuntu disco.