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.
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
