alt-ergo 0.94-1 source package in Debian

Changelog

alt-ergo (0.94-1) unstable; urgency=low


  * New upstream release.
  * Rebase patches

 -- Mehdi Dogguy <email address hidden>  Thu, 08 Dec 2011 17:18:57 +0100

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.94-1.dsc 2.1 KiB e46033ebf3efac994944cb2e5e3b328e717e9d58c85d8441dec7dd16bb951625
alt-ergo_0.94.orig.tar.gz 184.0 KiB bb6ddf947357d587eac4dc3375b712af2c58e46d3f5ab2c8eee5f25a99c2cd6e
alt-ergo_0.94-1.diff.gz 12.6 KiB 5eb64dd6398bd351882bf3490a1cac822c0b0001e4695ce955099a26e97d7cb7

No changes file available.

Binary packages built by this source