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 oneiric.
No description available for alt-ergo in ubuntu oneiric.