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 ae8136f4235cceeac5a14169c769e674880a2d0c..160e70a8aa6d21b58300df74f7f8e9bb7212e9f4 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -29,10 +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))
+   ;(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