]> matita.cs.unibo.it Git - helm.git/commitdiff
allow ocaml >= 4.14.1
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jan 2023 14:38:38 +0000 (15:38 +0100)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 14 Feb 2023 14:23:42 +0000 (15:23 +0100)
matita/dune-project
matita/matita.opam

index 1b232dd4b0f16f5d8820d6b63493b5793241a3ed..e647447f14c5ec0c44819860d44a56975cd6b056 100644 (file)
@@ -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))
index 5bd315e0509d35bc48670f5fac0c5e178408abff..b2280d51f7c2a70f3cb6a35cc8c55879711ca427 100644 (file)
@@ -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"}