From 1051eaafb0040262f1e9acd338e0f605cd2d8c17 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 3 Sep 2021 17:20:16 -0400 Subject: [PATCH] chore: add license to opam files --- libzipperposition.opam | 1 + logtk.opam | 1 + zipperposition-tools.opam | 1 + zipperposition.opam | 1 + 4 files changed, 4 insertions(+) diff --git a/libzipperposition.opam b/libzipperposition.opam index 2fc10540e..612061ccc 100644 --- a/libzipperposition.opam +++ b/libzipperposition.opam @@ -2,6 +2,7 @@ opam-version: "2.0" maintainer: "simon.cruanes.2.17@m4x.org" 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 index 3b1020afe..6334553bf 100644 --- a/logtk.opam +++ b/logtk.opam @@ -3,6 +3,7 @@ maintainer: "simon.cruanes.2.17@m4x.org" 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 index 7b59bf065..1b3123e80 100644 --- a/zipperposition-tools.opam +++ b/zipperposition-tools.opam @@ -2,6 +2,7 @@ opam-version: "2.0" maintainer: "simon.cruanes.2.17@m4x.org" 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 index a8a6fe9fe..4eae21175 100644 --- a/zipperposition.opam +++ b/zipperposition.opam @@ -2,6 +2,7 @@ opam-version: "2.0" maintainer: "simon.cruanes.2.17@m4x.org" 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: [