Dependency on ocaml_http replaced by ocaml_http_stubs stubs

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index dadb3b95b8b965e6b122f0395645a04fda6f611d..160e70a8aa6d21b58300df74f7f8e9bb7212e9f4 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -29,13 +29,18 @@
  (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))
+   (ocaml (>= "4.14.1"))
+   (ulex-camlp5 (>= 1.3))
+   (ocaml-expat (>= 1.1.0))
+   (pcre (>= 7.5.0))
+   ;(ocamlnet (>= 4.1.9.git)) ; used only by ocaml-http
+   ;(ocaml-http (>= 0.1.6))   ; no longer really used, replaced by failing stubs
+                              ; in components/ocaml_http_stubs
+   (camlzip (>= 1.11))
+   (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)))