Added dependency on ocaml-http

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 67cf3618d8bf2255a942f359f550f56c7245ebaf..a41b4732d007fb2eab752aea1396facde2a68fe4 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -3,6 +3,7 @@
 
 (name matita)
 
+; Remember to change manually also matita/help/C/version.txt.in
 (version 0.99.5)
 
 (generate_opam_files true)
@@ -28,13 +29,15 @@
  (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))
+   (ocaml-http (>= 0.1.6))
+   (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)))