Enable "dune build -p matita" + version bumped to 0.99.5

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 99912ea13758d64c57cf83a62063047435703826..4dbce59a9abec53492ea1c74cd51e618152184e0 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -2,25 +2,34 @@
 
 (name matita)
 
+(version 0.99.5)
+
 (generate_opam_files true)
 
 (source
- (github username/reponame))
+ (uri http://matita.cs.unibo.it/download.shtml))
+
+(authors "HELM Team (Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)")
 
-(authors "Author Name")
+(maintainers "Claudio Sacerdoti Coen")
 
-(maintainers "Maintainer Name")
+(license GPL)
 
-(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
+   (ocamlnet (= 4.1.9.git))
+   (ulex-camlp5 (= 1.3))
+   (ocaml-expat (= 1.1.0))
+   (lablgtk3-sourceview3 (= 3.1.3))
+   (camlp5 (= 8.00.04)))
  (tags
-  (topics "to describe" your project)))
+  ("interactive theorem proving" "calculus of constructions")))
 
 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project