Merge pull request #2783 from LasseBlaauwbroek/license-ltac-iter

Fix license of coq-ltac-iter from "BSD" to "MIT"
coq · Oct 20, 2023 · ede367c · ede367c
2 parents 5468034 + c0f99d9
commit ede367c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/released/packages/coq-ltac-iter/coq-ltac-iter.1.1.0/opam b/released/packages/coq-ltac-iter/coq-ltac-iter.1.1.0/opam
@@ -4,7 +4,7 @@ homepage: "https://github.com/gmalecha/coq-ltac-iter"
 dev-repo: "git+https://github.com/gmalecha/coq-ltac-iter.git"
 bug-reports: "https://github.com/gmalecha/coq-ltac-iter/issues"
 authors: ["Gregory Malecha"]
-license: "BSD"
+license: "MIT"
 build: [
   [make "-j%{jobs}%"]
 ]

diff --git a/released/packages/coq-ltac-iter/coq-ltac-iter.1.1.1/opam b/released/packages/coq-ltac-iter/coq-ltac-iter.1.1.1/opam
@@ -4,7 +4,7 @@ homepage: "https://github.com/gmalecha/coq-ltac-iter"
 dev-repo: "git+https://github.com/gmalecha/coq-ltac-iter.git"
 bug-reports: "https://github.com/gmalecha/coq-ltac-iter/issues"
 authors: ["Gregory Malecha"]
-license: "BSD"
+license: "MIT"
 build: [
   [make "-j%{jobs}%"]
 ]

diff --git a/released/packages/coq-ltac-iter/coq-ltac-iter.1.1.2/opam b/released/packages/coq-ltac-iter/coq-ltac-iter.1.1.2/opam
@@ -4,7 +4,7 @@ homepage: "https://github.com/gmalecha/coq-ltac-iter"
 dev-repo: "git+https://github.com/gmalecha/coq-ltac-iter.git"
 bug-reports: "https://github.com/gmalecha/coq-ltac-iter/issues"
 authors: ["Gregory Malecha"]
-license: "BSD"
+license: "MIT"
 build: [
   [make "-j%{jobs}%"]
 ]