X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdune-project;h=a40f5a38fc11b3e6187ee543ed66da5f9012f51b;hb=50718dc51ba9023f7171f4999020ed0006cded82;hp=90a0849b1d5348c6cdd4d94ce480415b6fac5d70;hpb=c981067b60b389b94fb8a3cd98a557bdfd1beefe;p=helm.git

diff --git a/matita/dune-project b/matita/dune-project
index 90a0849b1..a40f5a38f 100644
--- 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)