why 2.36-3 source package in Ubuntu
Changelog
why (2.36-3) unstable; urgency=medium
* drop build-dependency on liblablgtk2-ocaml-dev
* stop using libapron, as advised by upstream:
- drop build-dependency libapron-ocaml-dev
- drop option enable-apron from ./configure invocation
* generate frama-c-plugin/META.frama-c-jessie in debian/rules when it
has not been generated by frama-c, which for some unknown reason
happens on non-native architectures (closes: #844777).
-- Ralf Treinen <email address hidden> Sun, 18 Dec 2016 19:22:16 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.36-3.dsc | 2.2 KiB | 053f62ce12637b5051885218f55ab00e380f824dc4e7b1f37914684579a71486 |
| why_2.36.orig.tar.gz | 1.7 MiB | 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7 |
| why_2.36-3.debian.tar.xz | 11.2 KiB | a6a23edc28b367cf36c1fe7c7e7e7f23533b2cb663ab67bc6e90b8e8d23d88ee |
Available diffs
- diff from 2.36-2 to 2.36-3 (1012 bytes)
No changes file available.
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu zesty.
No description available for libwhy-coq in ubuntu zesty.
- why: No summary available for why in ubuntu zesty.
No description available for why in ubuntu zesty.
- why-dbgsym: No summary available for why-dbgsym in ubuntu zesty.
No description available for why-dbgsym in ubuntu zesty.
