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

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Thu May 29 08:57:53 2008
New Revision: 5718

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5718
Log:
matita 0.5.1 uploaded

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=5718&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Thu May 29 08:57:53 2008
@@ -1,3 +1,9 @@
+matita (0.5.1-2) UNRELEASED; urgency=low
+
+  * NOT RELEASED YET
+
+ -- Enrico Tassi <gareuselesinge at debian.org>  Thu, 29 May 2008 10:57:45 +0200
+
 matita (0.5.1-1) unstable; urgency=medium
 
   * New upstream release