registry already did not depend on ocamlnet any more

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 8a85936cced1b59e62387d8508c65eed26880068..1efcd6a16d5233b7029617f8afa2c3ca8bb6c435 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -1,7 +1,9 @@
 (lang dune 3.6)
+(using dune_site 0.1)
 
 (name matita)
 
+; Remember to change manually also matita/help/C/version.txt.in
 (version 0.99.5)
 
 (generate_opam_files true)
@@ -27,13 +29,19 @@
  (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))
+   (ocaml (>= "4.14.1"))
+   (ulex-camlp5 (>= 1.3))
+   (ocaml-expat (>= 1.1.0))
+   (pcre (>= 7.5.0))
+   (ocamlnet (>= 4.1.9.git)) ; used only by ocaml-http
+   (ocaml-http (>= 0.1.6))
+   (camlzip (>= 1.11))
+   (lablgtk3-sourceview3 (>= 3.1.3))
    dune-build-info
-   (camlp5 (= 8.00.04)))
+   dune-site
+   (camlp5 (>= 8.00.04)))
  (tags
-  ("interactive theorem proving" "calculus of constructions")))
+  ("interactive theorem proving" "calculus of constructions"))
+ (sites (share myshare)))
 
 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project