Use source and licence accepted by opam

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)
 

diff --git a/matita/matita.opam b/matita/matita.opam
index 26b1a6a29d02c4133a279d732f25601511ffb1ba..e235ed50d759f16cc54dd9390219d2551af55c5f 100644 (file)
--- a/matita/matita.opam
+++ b/matita/matita.opam
@@ -8,10 +8,11 @@ maintainer: ["Claudio Sacerdoti Coen"]
 authors: [
   "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)"
 ]
 authors: [
   "HELM Team (Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli et alt.)"
 ]

-license: "GPL"
+license: "GPL-2.0-or-later"

 tags: ["interactive theorem proving" "calculus of constructions"]
 homepage: "http://matita.cs.unibo.it"
 doc: "http://matita.cs.unibo.it"
 tags: ["interactive theorem proving" "calculus of constructions"]
 homepage: "http://matita.cs.unibo.it"
 doc: "http://matita.cs.unibo.it"

+bug-reports: "mailto:claudio.sacerdoticoen@unibo.it"

 depends: [
   "dune" {>= "3.6"}
   "ocamlnet" {= "4.1.9.git"}
 depends: [
   "dune" {>= "3.6"}
   "ocamlnet" {= "4.1.9.git"}


@@ -35,4 +36,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
     "@doc" {with-doc}
   ]
 ]

-dev-repo: "http://matita.cs.unibo.it/download.shtml"
+dev-repo: "git://matita.cs.unibo.it/git/helm"