alt-ergo 0.8-1 source package in Debian
Changelog
alt-ergo (0.8-1) unstable; urgency=low * Initial release (Closes: #468557) -- Mehdi Dogguy <email address hidden> Tue, 24 Feb 2009 10:15:46 +0100
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Squeeze
- 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.8-1.dsc | 1.3 KiB | ef86f8235785768f1b85c885102ccd85402fcdfbf3b012cdf9304944fd7ebd0d |
| alt-ergo_0.8.orig.tar.gz | 103.8 KiB | c7c05812b67d5f0b19dd3bd3b3f8795d3360de2e6febf2f3aff23cf25997b0cf |
| alt-ergo_0.8-1.diff.gz | 9.6 KiB | fc8a473b99c529e63a40d012cf56f061aae2ac29f242a2ab32020455b206e961 |
No changes file available.
