why 2.30+dfsg-5 source package in Ubuntu
Changelog
why (2.30+dfsg-5) unstable; urgency=low
* Update 0001-Why-2.29-do-support-Coq-8.3.patch
- Mark Coq 8.3pl4 as compatible.
* Bump Standards-Version to 3.9.3, no changes required.
-- Mehdi Dogguy <email address hidden> Wed, 16 May 2012 12:54:14 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.30+dfsg-5.dsc | 1.9 KiB | 00f624c26e19ced79a8a1e5f25179ad923e03c9d2dbec45002df7b62d13f9bc4 |
| why_2.30+dfsg.orig.tar.gz | 3.1 MiB | 51c91ead51875b0336d352eecd6b306a8f2c96414d59ec7f23b9f711b079cb90 |
| why_2.30+dfsg-5.debian.tar.gz | 11.1 KiB | eddea5c457eac4c60fc11ca7f17631d21f9941424296b47d7f2cb8c4c808c7de |
Available diffs
- diff from 2.30+dfsg-4 to 2.30+dfsg-5 (1.3 KiB)
No changes file available.
Binary packages built by this source
- libwhy-coq: No summary available for libwhy-coq in ubuntu raring.
No description available for libwhy-coq in ubuntu raring.
- why: No summary available for why in ubuntu saucy.
No description available for why in ubuntu saucy.
- why-examples: No summary available for why-examples in ubuntu quantal.
No description available for why-examples in ubuntu quantal.
