[Pkg-ocaml-maint-commits] r5263 - /trunk/packages/matita/trunk/debian/changelog

[gareuselesinge at users.alioth.debian.org]

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 <gareuselesinge at debian.org>  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)