chore: add license to opam files

sneeuwballen · Sep 3, 2021 · 1051eaa · 1051eaa
1 parent 4774171
commit 1051eaa
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/libzipperposition.opam b/libzipperposition.opam
@@ -2,6 +2,7 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
+license: "BSD-2-Clause"
 version: "2.1"
 synopsis: "Library for Zipperposition"
 build: [

diff --git a/logtk.opam b/logtk.opam
@@ -3,6 +3,7 @@ maintainer: "[email protected]"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
 version: "2.1"
+license: "BSD-2-Clause"
 synopsis: "Core types and algorithms for logic"
 build: [
   ["dune" "build" "-p" name "-j" jobs]

diff --git a/zipperposition-tools.opam b/zipperposition-tools.opam
@@ -2,6 +2,7 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
+license: "BSD-2-Clause"
 version: "2.1"
 synopsis: "Support tools for Zipperposition"
 build: [

diff --git a/zipperposition.opam b/zipperposition.opam
@@ -2,6 +2,7 @@ opam-version: "2.0"
 maintainer: "[email protected]"
 authors: ["Simon Cruanes" "Petar Vukmirovic" "Alexander Bentkamp" "Sophie Tourret" "Visa Nummelin"]
 homepage: "https://github.com/sneeuwballen/zipperposition"
+license: "BSD-2-Clause"
 version: "2.1"
 synopsis: "A fully automatic theorem prover for typed higher-order and beyond"
 build: [