why 2.34-2 source package in Ubuntu
Changelog
why (2.34-2) unstable; urgency=medium * Team upload * Recompile with coq 8.4pl4 * Update Vcs-* -- Stéphane Glondu <email address hidden> Mon, 04 Aug 2014 09:34:24 +0200
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.34-2.dsc | 2.3 KiB | 276a234dc6a40b133ff8921396fb47aa1781f723c4b5702791a76db27fe6cad7 |
why_2.34.orig.tar.gz | 3.6 MiB | 76f3af8cf3857424852ca76eb87c99ff6089aadc3271da6b829ca84529f9c733 |
why_2.34-2.debian.tar.xz | 10.3 KiB | c6d739e10ce451e51c5d4652abd3680d750f664ee39650df68d83842363feb3a |
Available diffs
- diff from 2.34-1 to 2.34-2 (496 bytes)
No changes file available.
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 utopic.
No description available for why in ubuntu utopic.
- why-examples: No summary available for why-examples in ubuntu utopic.
No description available for why-examples in ubuntu utopic.