From 50718dc51ba9023f7171f4999020ed0006cded82 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Jan 2023 00:32:27 +0100 Subject: [PATCH] Use source and licence accepted by opam --- matita/dune-project | 7 +++++-- matita/matita.opam | 5 +++-- 2 files changed, 8 insertions(+), 4 deletions(-) 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) diff --git a/matita/matita.opam b/matita/matita.opam index 26b1a6a29..e235ed50d 100644 --- 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.)" ] -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" +bug-reports: "mailto:claudio.sacerdoticoen@unibo.it" depends: [ "dune" {>= "3.6"} "ocamlnet" {= "4.1.9.git"} @@ -35,4 +36,4 @@ build: [ "@doc" {with-doc} ] ] -dev-repo: "http://matita.cs.unibo.it/download.shtml" +dev-repo: "git://matita.cs.unibo.it/git/helm" -- 2.39.2