allow ocaml >= 4.14.1

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index ae8136f4235cceeac5a14169c769e674880a2d0c..e647447f14c5ec0c44819860d44a56975cd6b056 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
+   (ocaml (>= "4.14.1"))
    (ocamlnet (>= 4.1.9.git))
    (ulex-camlp5 (>= 1.3))
    (ocaml-expat (>= 1.1.0))
    (pcre (>= 7.5.0))
+   (ocaml-http (>= 0.1.6))
+   (camlzip (>= 1.11))
    (lablgtk3-sourceview3 (>= 3.1.3))
    dune-build-info
    dune-site