From 94b6bb6fac7192279e0ec231a6b1598dcb2a842d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Jan 2023 21:49:08 +0100 Subject: [PATCH] Added pcre + depenencies relaxed using >= --- matita/dune-project | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/matita/dune-project b/matita/dune-project index dadb3b95b..ae8136f42 100644 --- a/matita/dune-project +++ b/matita/dune-project @@ -29,13 +29,14 @@ (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 - (ocamlnet (= 4.1.9.git)) - (ulex-camlp5 (= 1.3)) - (ocaml-expat (= 1.1.0)) - (lablgtk3-sourceview3 (= 3.1.3)) + (ocamlnet (>= 4.1.9.git)) + (ulex-camlp5 (>= 1.3)) + (ocaml-expat (>= 1.1.0)) + (pcre (>= 7.5.0)) + (lablgtk3-sourceview3 (>= 3.1.3)) dune-build-info dune-site - (camlp5 (= 8.00.04))) + (camlp5 (>= 8.00.04))) (tags ("interactive theorem proving" "calculus of constructions")) (sites (share myshare))) -- 2.39.2