[Pkg-ocaml-maint-commits] r6450 - in /trunk/packages/matita: tarballs/ trunk/debian/ trunk/debian/patches/

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Tue Dec  1 23:38:16 2009
New Revision: 6450

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=6450
Log:
matita 0.5.8 reqdy for upload

Added:
    trunk/packages/matita/tarballs/matita_0.5.8.orig.tar.gz   (with props)
    trunk/packages/matita/trunk/debian/README.source
Removed:
    trunk/packages/matita/tarballs/matita_0.5.7.orig.tar.gz
    trunk/packages/matita/tarballs/matita_0.5.8~rc1.orig.tar.gz
    trunk/packages/matita/trunk/debian/patches/lablgtk2.14.dpatch
Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/matita/trunk/debian/control
    trunk/packages/matita/trunk/debian/patches/00list

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

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

Added: trunk/packages/matita/trunk/debian/README.source
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/README.source?rev=6450&op=file
==============================================================================
--- trunk/packages/matita/trunk/debian/README.source (added)
+++ trunk/packages/matita/trunk/debian/README.source Tue Dec  1 23:38:16 2009
@@ -1,0 +1,1 @@
+Please refer to /usr/share/doc/dpatch/README.source.gz

Modified: trunk/packages/matita/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/changelog?rev=6450&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Tue Dec  1 23:38:16 2009
@@ -1,9 +1,14 @@
-matita (0.5.8~rc1-1) unstable; urgency=low
+matita (0.5.8-1) unstable; urgency=low
 
-  * new upstream release candidate
+  * New upstream release supporting lablgtksourceview2
   * Added docbook-xsl and docbook-xml as build-depend-indep (Closes: #532289)
+  * Removed debian/patches/lablgtk2.14.dpatch, added upstream 
+  * Added README.source
+  * build-depend on lablgtksourceview2
+  * build-depend on debhelper >= 5
+  * Standards-version set to 3.8.3 
 
- -- Enrico Tassi <gareuselesinge at debian.org>  Tue, 10 Nov 2009 18:09:47 +0100
+ -- Enrico Tassi <gareuselesinge at debian.org>  Wed, 02 Dec 2009 00:10:57 +0100
 
 matita (0.5.7-2) unstable; urgency=low
 

Modified: trunk/packages/matita/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=6450&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Tue Dec  1 23:38:16 2009
@@ -3,9 +3,9 @@
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Enrico Tassi <gareuselesinge at debian.org>, Stefano Zacchiroli <zack at debian.org>
-Build-Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2)
+Build-Depends: ocaml (>= 3.10.2), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev (>= 0.7.8-3), libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-4), libexpat-ocaml-dev, debhelper (>= 5), cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04), liblablgtksourceview2-ocaml-dev, dpatch, help2man, libgtkmathview-dev (>= 0.8.0-2)
 Build-Depends-Indep: xsltproc, dblatex, docbook-xsl, docbook-xml
-Standards-Version: 3.8.0
+Standards-Version: 3.8.3
 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita/trunk
 Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
 Homepage: http://matita.cs.unibo.it

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=6450&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/patches/00list (original)
+++ trunk/packages/matita/trunk/debian/patches/00list Tue Dec  1 23:38:16 2009
@@ -1,4 +1,3 @@
 matita.conf.xml.in.dpatch
 numbers.dpatch
 native-compilers.dpatch
-lablgtk2.14.dpatch