[Pkg-ocaml-maint-commits] r4829 - in /trunk/packages/matita: tarballs/matita-0.4.97.tar.gz tarballs/matita-0.4.98.tar.gz tarballs/matita_0.4.97.orig.tar.gz tarballs/matita_0.4.98.orig.tar.gz trunk/debian/changelog trunk/debian/control

[gareuselesinge at users.alioth.debian.org]

Author: gareuselesinge
Date: Sun Nov 25 16:00:37 2007
New Revision: 4829

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4829
Log:
new snapshot thay may build a bit more...

Added:
    trunk/packages/matita/tarballs/matita-0.4.98.tar.gz   (with props)
    trunk/packages/matita/tarballs/matita_0.4.98.orig.tar.gz   (with props)
Removed:
    trunk/packages/matita/tarballs/matita-0.4.97.tar.gz
    trunk/packages/matita/tarballs/matita_0.4.97.orig.tar.gz
Modified:
    trunk/packages/matita/trunk/debian/changelog
    trunk/packages/matita/trunk/debian/control

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

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

Added: trunk/packages/matita/tarballs/matita_0.4.98.orig.tar.gz
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/tarballs/matita_0.4.98.orig.tar.gz?rev=4829&op=file
==============================================================================
--- trunk/packages/matita/tarballs/matita_0.4.98.orig.tar.gz (added)
+++ trunk/packages/matita/tarballs/matita_0.4.98.orig.tar.gz Sun Nov 25 16:00:37 2007
@@ -1,0 +1,1 @@
+link matita-0.4.98.tar.gz

Propchange: trunk/packages/matita/tarballs/matita_0.4.98.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=4829&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/changelog (original)
+++ trunk/packages/matita/trunk/debian/changelog Sun Nov 25 16:00:37 2007
@@ -1,9 +1,12 @@
-matita (0.4.97-2) UNRELEASED; urgency=low
+matita (0.4.98-1) unstable; urgency=low
 
   [ Stefano Zacchiroli ]
   * fix Vcs-* fields to match pkg-ocaml-maint repository settings
 
- -- Stefano Zacchiroli <zack at debian.org>  Sat, 17 Nov 2007 17:57:21 +0100
+  [ Enrico Tassi ]
+  * Fixed dependencies among camlp5, ulex08 and findlib (Closes: #451896)
+
+ -- Enrico Tassi <gareuselesinge at debian.org>  Tue, 20 Nov 2007 13:47:26 +0100
 
 matita (0.4.97-1) 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=4829&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Sun Nov 25 16:00:37 2007
@@ -3,9 +3,8 @@
 Priority: optional
 Maintainer: Enrico Tassi <gareuselesinge at debian.org>
 Uploaders: Stefano Zacchiroli <zack at debian.org>
-Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5, dpatch, help2man
+Build-Depends: ocaml (>= 3.10.0), ocaml-findlib (>= 1.2.1-2), libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex08 (>= 0.8-3), libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev, camlp5 (>= 5.02-1), liblablgtksourceview-ocaml-dev, dpatch, help2man
 Standards-Version: 3.7.2
-Vcs-Svn: svn://svn.debian.org/svn/pkg-ocaml-maint/trunk/packages/matita
 Vcs-Browser: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
 Homepage: http://matita.cs.unibo.it