why 2.26+dfsg-3 source package in Debian
Changelog
why (2.26+dfsg-3) unstable; urgency=low [ Stéphane Glondu ] * Fix versioned build-deps to ensure smoother backports [ Mehdi Dogguy ] * Add 0007-Squeeze-s-Coq-is-also-compatible.patch: why-config checks compatibility of provers by checking their version number. Coq versioned 8.2pl2 is also compatible (like 8.2pl1). Marking it as such so that it gets activated. -- Mehdi Dogguy <email address hidden> Thu, 20 Jan 2011 21:00:18 +0100
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.26+dfsg-3.dsc | 2.2 KiB | 0ecd42410620cacdf181ca5d484640e8e22e6e2e67625515a5fe9793e073b558 |
| why_2.26+dfsg.orig.tar.gz | 2.4 MiB | 667187e0058383c8b660c706a915c00af16256ae63ddd286ebfe09bd67ac4d69 |
| why_2.26+dfsg-3.debian.tar.gz | 11.0 KiB | ee6aa384c25b097b9dc713f45a9eddc2f30a01847dfa6e3ff36f37a393a9290e |
No changes file available.
