Use dune-build-info to put the version in buildTimeConf

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 90a0849b1d5348c6cdd4d94ce480415b6fac5d70..8a85936cced1b59e62387d8508c65eed26880068 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -7,13 +7,16 @@
 (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, 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)
 
@@ -28,6 +31,7 @@
    (ulex-camlp5 (= 1.3))
    (ocaml-expat (= 1.1.0))
    (lablgtk3-sourceview3 (= 3.1.3))
+   dune-build-info
    (camlp5 (= 8.00.04)))
  (tags
   ("interactive theorem proving" "calculus of constructions")))