Added dependency on caml-zip

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 4dbce59a9abec53492ea1c74cd51e618152184e0..83209daf38bf75d5aed2cc30b5ccd9ad7b238661 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -1,19 +1,24 @@
 (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)
 
 (source
- (uri http://matita.cs.unibo.it/download.shtml))
+ (uri git://matita.cs.unibo.it/git/helm))
 
-(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
+(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
 
 (maintainers "Claudio Sacerdoti Coen")
 
-(license GPL)
+(license GPL-2.0-or-later)
+
+
+(bug_reports "mailto:claudio.sacerdoticoen@unibo.it")
 
 (homepage http://matita.cs.unibo.it)
 
@@ -24,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))
+   (caml-zip (>= 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