why 2.18.dfsg-5 source package in Ubuntu
Changelog
why (2.18.dfsg-5) unstable; urgency=low
* Rebuild against latest Coq package, Closes: #536104.
- why suggests libwhy-coq (= ${source:Version})
* Bump standards to 3.8.2
* Tighten build-depends to ease OCaml 3.11.1 transition
-- David MENTR? <email address hidden> Sat, 15 Aug 2009 15:13:41 +0100
Upload details
- Uploaded by:
- David MENTRÉ
- Uploaded to:
- Karmic
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.18.dfsg.orig.tar.gz | 2.3 MiB | ec0aea397806b49096cbbabf271632331d6018e481c7b728b7c7e0b49c9829e1 |
| why_2.18.dfsg-5.diff.gz | 7.7 KiB | ac8d5be18ca0ece4880524f722095a991c1849a0fcc1254a33921764f8ab527f |
| why_2.18.dfsg-5.dsc | 1.4 KiB | b1a797a1cd86002bf4f1d2cf408b638dabb159a73b0564271ad1262f0e20662b |
Available diffs
- diff from 2.18.dfsg-4 to 2.18.dfsg-5 (1.1 KiB)
Binary packages built by this source
- libjessie-ocaml-dev: No summary available for libjessie-ocaml-dev in ubuntu lucid.
No description available for libjessie-ocaml-dev in ubuntu lucid.
- libwhy-coq: No summary available for libwhy-coq in ubuntu karmic.
No description available for libwhy-coq in ubuntu karmic.
- why: No summary available for why in ubuntu karmic.
No description available for why in ubuntu karmic.
- why-examples: No summary available for why-examples in ubuntu karmic.
No description available for why-examples in ubuntu karmic.
