[Pkg-ocaml-maint-commits] r6046 - in /trunk/packages/matita: tarballs/matita_0.5.5.orig.tar.gz tarballs/matita_0.5.6.orig.tar.gz trunk/debian/changelog trunk/debian/patches/00list trunk/debian/patches/manual.dpatch
gareuselesinge at users.alioth.debian.org
gareuselesinge at users.alioth.debian.org
Mon Dec 1 18:52:30 UTC 2008
Author: gareuselesinge
Date: Mon Dec 1 18:52:29 2008
New Revision: 6046
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6046
Log:
matita 0.5.6
Added:
trunk/packages/matita/tarballs/matita_0.5.6.orig.tar.gz (with props)
Removed:
trunk/packages/matita/tarballs/matita_0.5.5.orig.tar.gz
trunk/packages/matita/trunk/debian/patches/manual.dpatch
Modified:
trunk/packages/matita/trunk/debian/changelog
trunk/packages/matita/trunk/debian/patches/00list
Added: trunk/packages/matita/tarballs/matita_0.5.6.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita_0.5.6.orig.tar.gz?rev=6046&op=file
==============================================================================
Binary file - no diff available.
Propchange: trunk/packages/matita/tarballs/matita_0.5.6.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=6046&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Mon Dec 1 18:52:29 2008
@@ -1,8 +1,8 @@
-matita (0.5.5-3) UNRELEASED; urgency=low
+matita (0.5.6-1) experimental; urgency=low
- * NOT RELEASED YET
+ * New upstream bugfix release
- -- Enrico Tassi <gareuselesinge at debian.org> Sat, 22 Nov 2008 17:28:06 +0100
+ -- Enrico Tassi <gareuselesinge at debian.org> Mon, 01 Dec 2008 19:11:51 +0100
matita (0.5.5-2) experimental; urgency=low
Modified: trunk/packages/matita/trunk/debian/patches/00list
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/patches/00list?rev=6046&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/00list (original)
+++ trunk/packages/matita/trunk/debian/patches/00list Mon Dec 1 18:52:29 2008
@@ -1,4 +1,3 @@
matita.conf.xml.in.dpatch
numbers.dpatch
native-compilers.dpatch
-manual.dpatch
More information about the Pkg-ocaml-maint-commits
mailing list