Bad spelling for camlzip

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index a40f5a38fc11b3e6187ee543ed66da5f9012f51b..1b232dd4b0f16f5d8820d6b63493b5793241a3ed 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,12 +29,18 @@
  (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))
-   (camlp5 (= 8.00.04)))
+   (ocamlnet (>= 4.1.9.git))
+   (ulex-camlp5 (>= 1.3))
+   (ocaml-expat (>= 1.1.0))
+   (pcre (>= 7.5.0))
+   (ocaml-http (>= 0.1.6))
+   (camlzip (>= 1.11))
+   (lablgtk3-sourceview3 (>= 3.1.3))
+   dune-build-info
+   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