alt-ergo 0.94-1 source package in Debian
Changelog
alt-ergo (0.94-1) unstable; urgency=low * New upstream release. * Rebase patches -- Mehdi Dogguy <email address hidden> Thu, 08 Dec 2011 17:18:57 +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 |
---|---|---|
alt-ergo_0.94-1.dsc | 2.1 KiB | e46033ebf3efac994944cb2e5e3b328e717e9d58c85d8441dec7dd16bb951625 |
alt-ergo_0.94.orig.tar.gz | 184.0 KiB | bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e |
alt-ergo_0.94-1.diff.gz | 12.6 KiB | 5eb64dd6398bd351882bf3490a1cac822c0b0001e4695ce955099a26e97d7cb7 |
No changes file available.