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 Pocket 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.

Binary packages built by this source