Use source and licence accepted by opam

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index 90a0849b1d5348c6cdd4d94ce480415b6fac5d70..a40f5a38fc11b3e6187ee543ed66da5f9012f51b 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -7,13 +7,16 @@
 (generate_opam_files true)
 
 (source
 (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")
 
 
 (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)
 
 
 (homepage http://matita.cs.unibo.it)