From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Jan 2023 14:38:38 +0000 (+0100)
Subject: allow ocaml >= 4.14.1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=3e9d5de04678d7edfaf6a7065cc4c84217adcac4

allow ocaml >= 4.14.1
---

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))
diff --git a/matita/matita.opam b/matita/matita.opam
index 5bd315e05..b2280d51f 100644
--- a/matita/matita.opam
+++ b/matita/matita.opam
@@ -15,6 +15,7 @@ doc: "http://matita.cs.unibo.it"
 bug-reports: "mailto:claudio.sacerdoticoen@unibo.it"
 depends: [
   "dune" {>= "3.6"}
+  "ocaml" {>= "4.14.1"}
   "ocamlnet" {>= "4.1.9.git"}
   "ulex-camlp5" {>= "1.3"}
   "ocaml-expat" {>= "1.1.0"}