alt-ergo_0.7.3-1

Maintainers

Debian OCaml Maintainers QA

Mehdi Dogguy QA

Changes not in Debian yet:

alt-ergo (0.7.3-1) UNRELEASED; urgency=low

* Initial release (Closes: #468557)

-- Mehdi Dogguy Fri, 11 Mar 2008 15:55:41 +0100

Repository location: SVN HTTP

Tarball

A new upstream (0.8) release exists.

Status	Arch	Svn Rev.	Date	Build duration
Success	i386	5539	2008-07-04 21:23:45.22099	97s