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 1b232dd4b0f16f5d8820d6b63493b5793241a3ed..1efcd6a16d5233b7029617f8afa2c3ca8bb6c435 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -29,10 +29,11 @@
  (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))