X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdune-project;h=160e70a8aa6d21b58300df74f7f8e9bb7212e9f4;hb=HEAD;hp=99912ea13758d64c57cf83a62063047435703826;hpb=712af5b8dc7dab1ebfa6532b73b91c96cb4c6837;p=helm.git

diff --git a/matita/dune-project b/matita/dune-project
index 99912ea13..160e70a8a 100644
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -1,26 +1,48 @@
 (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
- (github username/reponame))
+ (uri git://matita.cs.unibo.it/git/helm))
+
+(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
+
+(maintainers "Claudio Sacerdoti Coen")
+
+(license GPL-2.0-or-later)
 
-(authors "Author Name")
 
-(maintainers "Maintainer Name")
+(bug_reports "mailto:claudio.sacerdoticoen@unibo.it")
 
-(license LICENSE)
+(homepage http://matita.cs.unibo.it)
 
-(documentation https://url/to/documentation)
+(documentation http://matita.cs.unibo.it)
 
 (package
  (name matita)
- (synopsis "A short synopsis")
- (description "A longer description")
- (depends ocaml dune)
+ (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"))
+   (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))   ; no longer really used, replaced by failing stubs
+                              ; in components/ocaml_http_stubs
+   (camlzip (>= 1.11))
+   (lablgtk3-sourceview3 (>= 3.1.3))
+   dune-build-info
+   dune-site
+   (camlp5 (>= 8.00.04)))
  (tags
-  (topics "to describe" your project)))
+  ("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