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 <[EMAIL PROTECTED]> Sat, 17 Nov 2007 17:57:21 +0100
+ [ Enrico Tassi ]
+ * Fixed dependencies among camlp5, ulex08 and findlib (Closes: #451896)
+
+ -- Enrico Tassi <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]>
Uploaders: Stefano Zacchiroli <[EMAIL PROTECTED]>
-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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
