[Pkg-ocaml-maint-commits] r5706 - in /trunk/packages/matita: tarballs/matita-0.5.0.tar.gz tarballs/matita_0.5.0.orig.tar.gz tarballs/matita_0.5.1.orig.tar.gz trunk/debian/changelog

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Wed May 28 10:17:03 2008
New Revision: 5706

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

Added:
    trunk/packages/matita/tarballs/matita_0.5.1.orig.tar.gz   (with props)
Removed:
    trunk/packages/matita/tarballs/matita-0.5.0.tar.gz
    trunk/packages/matita/tarballs/matita_0.5.0.orig.tar.gz
Modified:
    trunk/packages/matita/trunk/debian/changelog

Added: trunk/packages/matita/tarballs/matita_0.5.1.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita_0.5.1.orig.tar.gz?rev=5706&op=file
==============================================================================
Binary file - no diff available.

Propchange: trunk/packages/matita/tarballs/matita_0.5.1.orig.tar.gz
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream

Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=5706&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Wed May 28 10:17:03 2008
@@ -1,8 +1,8 @@
-matita (0.5.0-2) UNRELEASED; urgency=low
+matita (0.5.1-1) UNRELEASED; urgency=low
 
-  * NOT RELEASED YET
+  * New upstream release
 
- -- Enrico Tassi <gareuselesinge at debian.org>  Sat, 10 May 2008 12:10:29 +0200
+ -- Enrico Tassi <gareuselesinge at debian.org>  Wed, 28 May 2008 12:15:52 +0200
 
 matita (0.5.0-1) unstable; urgency=low