registry already did not depend on ocamlnet any more

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index ae8136f4235cceeac5a14169c769e674880a2d0c..1efcd6a16d5233b7029617f8afa2c3ca8bb6c435 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -29,10 +29,13 @@
  (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))
+   (camlzip (>= 1.11))
    (lablgtk3-sourceview3 (>= 3.1.3))
    dune-build-info
    dune-site