why 2.36-5build2 source package in Ubuntu
Changelog
why (2.36-5build2) zesty; urgency=medium * Try rebuild again against latest OCaml. -- Bhavani Shankar <email address hidden> Thu, 02 Feb 2017 11:34:20 +0530
Upload details
- Uploaded by:
- Bhavani Shankar
- Uploaded to:
- Zesty
- 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.orig.tar.gz | 1.7 MiB | 7c1dfad6a83844353dcc47aef83de79cdb358e2e27cc04271e68e8e046d329b7 |
| why_2.36-5build2.debian.tar.xz | 11.5 KiB | 25f627dc3ddd1a63353cfd3a7077c869c502f3c4f3e274e5690a7cdf29f57e81 |
| why_2.36-5build2.dsc | 1.9 KiB | 4f3d72555fe644bf2477f3cd5db5715c51ed4bb8201fc39ebee2604e6f44ee41 |
Available diffs
- diff from 2.36-5build1 to 2.36-5build2 (306 bytes)
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu artful.
No description available for libwhy-coq in ubuntu artful.
- why: No summary available for why in ubuntu artful.
No description available for why in ubuntu artful.
