alt-ergo 0.91-1 source package in Debian
Changelog
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 -- Mehdi Dogguy <email address hidden> Tue, 01 Jun 2010 21:24:28 +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 |
---|
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
alt-ergo_0.91-1.dsc | 1.9 KiB | d2e736bb4b66545c5b7c8dfd0d04bc0ffc5f61bc95577554e2f394e29c2014f8 |
alt-ergo_0.91.orig.tar.gz | 132.7 KiB | 1c326646a1c73acb3ab0c5e7694d882f96a0840ffe2c566e5e7035a0a2aa2124 |
alt-ergo_0.91-1.diff.gz | 10.3 KiB | ac6a38049cd9d1f82e0bbc83fe912869d13519f214f01be932d9543cb5afe80c |
No changes file available.