[Pkg-ocaml-maint-commits] r5602 - in /trunk/packages/matita: tarballs/ trunk/debian/
gareuselesinge at users.alioth.debian.org
gareuselesinge at users.alioth.debian.org
Fri May 9 16:48:20 UTC 2008
Author: gareuselesinge
Date: Fri May 9 16:48:19 2008
New Revision: 5602
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5602
Log:
new matita release
Added:
trunk/packages/matita/tarballs/matita-0.5.0.tar.gz (with props)
trunk/packages/matita/tarballs/matita_0.5.0.orig.tar.gz (with props)
Removed:
trunk/packages/matita/tarballs/matita-0.4.98.tar.gz
trunk/packages/matita/tarballs/matita-0.5.0-rc1.tar.gz
trunk/packages/matita/tarballs/matita_0.4.98.orig.tar.gz
trunk/packages/matita/tarballs/matita_0.5.0~rc1.orig.tar.gz
Modified:
trunk/packages/matita/trunk/debian/changelog
Added: trunk/packages/matita/tarballs/matita-0.5.0.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita-0.5.0.tar.gz?rev=5602&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/matita/tarballs/matita-0.5.0.tar.gz
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Added: trunk/packages/matita/tarballs/matita_0.5.0.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita_0.5.0.orig.tar.gz?rev=5602&op=file
==============================================================================
--- trunk/packages/matita/tarballs/matita_0.5.0.orig.tar.gz (added)
+++ trunk/packages/matita/tarballs/matita_0.5.0.orig.tar.gz Fri May 9 16:48:19 2008
@@ -1,0 +1,1 @@
+link matita-0.5.0.tar.gz
Propchange: trunk/packages/matita/tarballs/matita_0.5.0.orig.tar.gz
------------------------------------------------------------------------------
svn:special = *
Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=5602&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Fri May 9 16:48:19 2008
@@ -1,8 +1,8 @@
-matita (0.5.0~rc1-2) UNRELEASED; urgency=low
+matita (0.5.0-1) unstable; urgency=low
- * NOT RELEASED YET
+ * New upstream release
- -- Enrico Tassi <gareuselesinge at debian.org> Thu, 01 May 2008 15:32:13 +0200
+ -- Enrico Tassi <gareuselesinge at debian.org> Fri, 09 May 2008 18:47:36 +0200
matita (0.5.0~rc1-1) unstable; urgency=low
More information about the Pkg-ocaml-maint-commits
mailing list