[Pkg-ocaml-maint-commits] r5989 - /trunk/packages/ergo/tarballs/alt-ergo_0.8.orig.tar.gz

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Wed Sep 17 15:30:01 2008
New Revision: 5989

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5989
Log:
New Alt-ergo tarball

Modified:
    trunk/packages/ergo/tarballs/alt-ergo_0.8.orig.tar.gz

Modified: trunk/packages/ergo/tarballs/alt-ergo_0.8.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/ergo/tarballs/alt-ergo_0.8.orig.tar.gz?rev=5989&op=diff
==============================================================================
Binary files - no diff available.