why 2.34-2ubuntu1 source package in Ubuntu
Changelog
why (2.34-2ubuntu1) utopic; urgency=medium
* debian/tests/c/minimum.c: Workaround test brokenness by avoiding the
ternary operator.
-- Iain Lane <email address hidden> Fri, 15 Aug 2014 10:47:51 +0100
Upload details
- Uploaded by:
- Iain Lane
- Uploaded to:
- Utopic
- Original maintainer:
- Ubuntu Developers
- 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.34.orig.tar.gz | 3.6 MiB | 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 |
| why_2.34-2ubuntu1.debian.tar.xz | 10.4 KiB | 5572adf2c0cd28388a89bd283422f235c9ab0026da473bdb0969debdd89d9c30 |
| why_2.34-2ubuntu1.dsc | 2.4 KiB | 652f32b0fa1f69bddc43cff7e7e779855443c97fb9ee3b25328ed62096f260cc |
Available diffs
- diff from 2.34-1 (in Debian) to 2.34-2ubuntu1 (913 bytes)
- diff from 2.34-2 (in Debian) to 2.34-2ubuntu1 (671 bytes)
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu utopic.
No description available for libwhy-coq in ubuntu utopic.
- why: No summary available for why in ubuntu vivid.
No description available for why in ubuntu vivid.
- why-examples: No summary available for why-examples in ubuntu utopic.
No description available for why-examples in ubuntu utopic.
