alt-ergo 0.95.2-2 source package in Debian
Changelog
alt-ergo (0.95.2-2) sid; urgency=medium
* Port to OCamlgraph 1.8.4 (Closes: #743072)
- add 0002-Port-to-OCamlgraph-1.8.4.patch
-- Mehdi Dogguy <email address hidden> Sun, 30 Mar 2014 23:07:47 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| alt-ergo_0.95.2-2.dsc | 2.2 KiB | c389abae790f793dad86be4269097b88bc50e9d42357613e72494aa8a2ed6ff0 |
| alt-ergo_0.95.2.orig.tar.gz | 228.3 KiB | 5a6cd4349c144653be19a1ba4c254bbf626bdfd97c54d1c13ba63e396006eeac |
| alt-ergo_0.95.2-2.debian.tar.xz | 11.2 KiB | 45295b974e6d2b65e23d2702f1260ed034e50d0b39d3f946522c7b1b4d271b72 |
No changes file available.
