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

gareuselesinge at users.alioth.debian.org gareuselesinge at users.alioth.debian.org
Sun Oct 19 10:26:44 UTC 2008


Author: gareuselesinge
Date: Sun Oct 19 10:26:43 2008
New Revision: 6012

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6012
Log:
matita 0.5.4 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=6012&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Sun Oct 19 10:26:43 2008
@@ -1,3 +1,9 @@
+matita (0.5.4-2) UNRELEASED; urgency=low
+
+  * NOT RELEASED YET
+
+ -- Enrico Tassi <gareuselesinge at debian.org>  Sun, 19 Oct 2008 12:26:32 +0200
+
 matita (0.5.4-1) experimental; urgency=low
 
   * New upstream bugfix release




More information about the Pkg-ocaml-maint-commits mailing list