Author: gareuselesinge
Date: Mon Mar 3 09:54:50 2008
New Revision: 5263
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5263
Log:
uploaded matita
Modified:
trunk/packages/matita/trunk/debian/changelog
Modified: trunk/packages/matita/trunk/debian/changelog
URL:
http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=5263&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Mon Mar 3 09:54:50 2008
@@ -1,3 +1,9 @@
+matita (0.4.98-8) UNRELEASED; urgency=low
+
+ * NOT RELEASED YET
+
+ -- Enrico Tassi <[EMAIL PROTECTED]> Mon, 03 Mar 2008 10:54:38 +0100
+
matita (0.4.98-7) unstable; urgency=medium
* Added dependency on the bytecode interpreted (ocaml-base-nox-$OCAMLABI)
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
