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.
