why 2.18.dfsg-5 source package in Debian
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
-- Mehdi Dogguy <email address hidden> Tue, 07 Jul 2009 23:50:16 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| why_2.18.dfsg-5.dsc | 1.4 KiB | b1a797a1cd86002bf4f1d2cf408b638dabb159a73b0564271ad1262f0e20662b |
| why_2.18.dfsg.orig.tar.gz | 2.3 MiB | ec0aea397806b49096cbbabf271632331d6018e481c7b728b7c7e0b49c9829e1 |
| why_2.18.dfsg-5.diff.gz | 7.7 KiB | ac8d5be18ca0ece4880524f722095a991c1849a0fcc1254a33921764f8ab527f |
No changes file available.
