alt-ergo 0.91-2 source package in Ubuntu
Changelog
alt-ergo (0.91-2) unstable; urgency=low
* Fix build on bytecode architecures: "test" target should depend on
"best" alternative, and not "opt".
alt-ergo (0.91-1) unstable; urgency=low
* New upstream release.
* Update my email address and remove DMUA
* Refresh packaging (dh-ocaml, dh overrides, quilt)
- Do not run tests when input files are absent
0002-Do-not-run-the-test-if-test.mlw-is-absent.patch
* Bump standards to 3.8.4
- Add a debian/README.source
* Add a debian/source/format (keep 1.0 format, for now)
* Fix a typo in the sources
- Add 0003-Fix-a-typo.patch
-- Ubuntu Archive Auto-Sync <email address hidden> Fri, 04 Jun 2010 15:12:28 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Maverick
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| alt-ergo_0.91.orig.tar.gz | 132.7 KiB | 1c326646a1c73acb3ab0c5e7694d882f96a0840ffe2c566e5e7035a0a2aa2124 |
| alt-ergo_0.91-2.diff.gz | 10.4 KiB | 20f5061b23792515a291264787ec6db06bd71b23e7eee98386abcda3c31ac9fa |
| alt-ergo_0.91-2.dsc | 1.9 KiB | 6c197d8c03850178cbf90b0cdbc716c8a9bea9f7cac62f003ea94b7c94d8724a |
Available diffs
- diff from 0.9-1build1 to 0.91-2 (116.0 KiB)
Binary packages built by this source
- alt-ergo: No summary available for alt-ergo in ubuntu natty.
No description available for alt-ergo in ubuntu natty.
