From a16d01be3144808867e8885b48304f60044e10de Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 4 Jan 2023 15:38:38 +0100 Subject: [PATCH] allow ocaml >= 4.14.1 --- matita/dune-project | 1 + matita/matita.opam | 1 + 2 files changed, 2 insertions(+) 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"} -- 2.39.2