X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fdune-project;fp=matita%2Fdune-project;h=ae8136f4235cceeac5a14169c769e674880a2d0c;hp=dadb3b95b8b965e6b122f0395645a04fda6f611d;hb=b937cfb77db4fc4651f075947ab31bab296ddcd3;hpb=36646d469152a1ed3b53235d021f40c7cd68808d

diff --git a/matita/dune-project b/matita/dune-project
index dadb3b95b..ae8136f42 100644
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -29,13 +29,14 @@
  (synopsis "An experimental, interactive theorem prover")
  (description "Matita (that means pencil in italian) is an experimental, interactive theorem prover under development at the Computer Science Department of the University of Bologna.")
  (depends
-   (ocamlnet (= 4.1.9.git))
-   (ulex-camlp5 (= 1.3))
-   (ocaml-expat (= 1.1.0))
-   (lablgtk3-sourceview3 (= 3.1.3))
+   (ocamlnet (>= 4.1.9.git))
+   (ulex-camlp5 (>= 1.3))
+   (ocaml-expat (>= 1.1.0))
+   (pcre (>= 7.5.0))
+   (lablgtk3-sourceview3 (>= 3.1.3))
    dune-build-info
    dune-site
-   (camlp5 (= 8.00.04)))
+   (camlp5 (>= 8.00.04)))
  (tags
   ("interactive theorem proving" "calculus of constructions"))
  (sites (share myshare)))