alt-ergo 0.91-2 source package in Debian
Changelog
alt-ergo (0.91-2) unstable; urgency=low
* Fix build on bytecode architecures: "test" target should depend on
"best" alternative, and not "opt".
-- Mehdi Dogguy <email address hidden> Tue, 01 Jun 2010 22:25:38 +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 | |
|---|---|---|---|---|
| Squeeze | release | main | math |
Builds
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| alt-ergo_0.91-2.dsc | 1.9 KiB | 6c197d8c03850178cbf90b0cdbc716c8a9bea9f7cac62f003ea94b7c94d8724a |
| alt-ergo_0.91.orig.tar.gz | 132.7 KiB | 1c326646a1c73acb3ab0c5e7694d882f96a0840ffe2c566e5e7035a0a2aa2124 |
| alt-ergo_0.91-2.diff.gz | 10.4 KiB | 20f5061b23792515a291264787ec6db06bd71b23e7eee98386abcda3c31ac9fa |
No changes file available.
