[Pkg-ocaml-maint-commits] r5878 - in /trunk/packages: matita/tarballs/matita_0.5.2.orig.tar.gz matita/tarballs/matita_0.5.3.orig.tar.gz matita/trunk/debian/changelog ocaml-sqlite3/trunk/debian/control

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Wed Jul 23 22:21:10 2008
New Revision: 5878

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

Added:
    trunk/packages/matita/tarballs/matita_0.5.3.orig.tar.gz   (with props)
Removed:
    trunk/packages/matita/tarballs/matita_0.5.2.orig.tar.gz
Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/ocaml-sqlite3/trunk/debian/control

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

Propchange: trunk/packages/matita/tarballs/matita_0.5.3.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=5878&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Wed Jul 23 22:21:10 2008
@@ -1,8 +1,8 @@
-matita (0.5.2-2) UNRELEASED; urgency=low
+matita (0.5.3-1) unstable; urgency=low
 
-  * NOT RELEASED YET
+  * New upstream bugfix release
 
- -- Enrico Tassi <gareuselesinge at debian.org>  Wed, 02 Jul 2008 14:17:11 +0200
+ -- Enrico Tassi <gareuselesinge at debian.org>  Wed, 23 Jul 2008 23:32:19 +0200
 
 matita (0.5.2-1) unstable; urgency=low
 

Modified: trunk/packages/ocaml-sqlite3/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/ocaml-sqlite3/trunk/debian/control?rev=5878&op=diff
==============================================================================
--- trunk/packages/ocaml-sqlite3/trunk/debian/control (original)
+++ trunk/packages/ocaml-sqlite3/trunk/debian/control Wed Jul 23 22:21:10 2008
@@ -3,7 +3,7 @@
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
 Uploaders: Samuel Mimram <smimram at debian.org>, Stephane Glondu <steph at glondu.net>
 DM-Upload-Allowed: yes
-Build-Depends: debhelper (>= 5), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox (>= 3.10.0), camlp4, libsqlite3-dev (>= 3.3.9), ocaml-findlib
+Build-Depends: debhelper (>= 5), dpkg-dev (>= 1.13.19), dpatch, ocaml-nox, libsqlite3-dev (>= 3.3.9), ocaml-findlib
 Standards-Version: 3.7.3
 Section: libs
 Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/ocaml-sqlite3/trunk