why 2.34-4ubuntu4 source package in Ubuntu
Changelog
why (2.34-4ubuntu4) xenial; urgency=medium * Disable the why+coq autopkg test. -- Matthias Klose <email address hidden> Tue, 23 Feb 2016 16:34:34 +0100
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Xenial
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Xenial | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.34.orig.tar.gz | 3.6 MiB | 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 |
| why_2.34-4ubuntu4.debian.tar.xz | 11.1 KiB | 9be813fe4354285f4c3f92ccc3aac33c721d46b453fb259310ca66c317df4557 |
| why_2.34-4ubuntu4.dsc | 2.2 KiB | 47a3920891f641d44574ad8763110ba0d2abc81621fe798a5fee2163db0f47a9 |
Available diffs
- diff from 2.34-4ubuntu1 to 2.34-4ubuntu4 (1.5 KiB)
- diff from 2.34-4ubuntu3 to 2.34-4ubuntu4 (447 bytes)
Binary packages built by this source
- why: No summary available for why in ubuntu yakkety.
No description available for why in ubuntu yakkety.
- why-dbgsym: No summary available for why-dbgsym in ubuntu yakkety.
No description available for why-dbgsym in ubuntu yakkety.
- why-examples: No summary available for why-examples in ubuntu yakkety.
No description available for why-examples in ubuntu yakkety.
