Author: gareuselesinge
Date: Mon Dec 3 15:36:50 2007
New Revision: 4851
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=4851
Log:
strict dependency among camlp5 and ulex
Modified:
trunk/packages/matita/trunk/debian/control
Modified: trunk/packages/matita/trunk/debian/control
URL:
http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/debian/control?rev=4851&op=diff
==============================================================================
--- trunk/packages/matita/trunk/debian/control (original)
+++ trunk/packages/matita/trunk/debian/control Mon Dec 3 15:36:50 2007
@@ -3,9 +3,9 @@
Priority: optional
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Uploaders: Stefano Zacchiroli <[EMAIL PROTECTED]>
-Build-Depends: ocaml (>= 3.10.0), 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-3), libexpat-ocaml-dev, debhelper,
cdbs, libmysql-ocaml-dev, camlp5 (>= 5.02-1), liblablgtksourceview-ocaml-dev,
dpatch, help2man
+Build-Depends: ocaml (>= 3.10.0), 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-3), libexpat-ocaml-dev, debhelper,
cdbs, libmysql-ocaml-dev, camlp5 (>= 5.04-1), liblablgtksourceview-ocaml-dev,
dpatch, help2man
Standards-Version: 3.7.2
-Vcs-Browser:
http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
+XS-Vcs-Browser:
http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/matita/trunk/
Homepage: http://matita.cs.unibo.it
Package: matita
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
