X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdune-project;h=e647447f14c5ec0c44819860d44a56975cd6b056;hb=a16d01be3144808867e8885b48304f60044e10de;hp=1b232dd4b0f16f5d8820d6b63493b5793241a3ed;hpb=3736c76f0f281f157ad7e49d8da8372a367ede91;p=helm.git

diff --git a/matita/dune-project b/matita/dune-project
index 1b232dd4b..e647447f1 100644
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -29,6 +29,7 @@
  (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))