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 a41b4732d007fb2eab752aea1396facde2a68fe4..160e70a8aa6d21b58300df74f7f8e9bb7212e9f4 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -29,11 +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))
+   (ocaml (>= "4.14.1"))
    (ulex-camlp5 (>= 1.3))
    (ocaml-expat (>= 1.1.0))
    (pcre (>= 7.5.0))
-   (ocaml-http (>= 0.1.6))
+   ;(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