From 3e9d5de04678d7edfaf6a7065cc4c84217adcac4 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