From b6ea55e7abb71e8fca294a167bf7d8091cbd82a5 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 24 Mar 2021 15:18:52 -0400 Subject: [PATCH] merge opam fix from opam-repo --- msat-bin.opam | 2 +- msat.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/msat-bin.opam b/msat-bin.opam index ebba2627..c31e7e3b 100644 --- a/msat-bin.opam +++ b/msat-bin.opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "msat-bin" synopsis: "SAT solver binary based on the msat library" -license: "Apache" +license: "Apache-2.0" version: "0.9.1" author: ["Simon Cruanes" "Guillaume Bury"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] diff --git a/msat.opam b/msat.opam index 380c02e7..69093cae 100644 --- a/msat.opam +++ b/msat.opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "msat" synopsis: "Library containing a SAT solver that can be parametrized by a theory" -license: "Apache" +license: "Apache-2.0" version: "0.9.1" author: ["Simon Cruanes" "Guillaume Bury"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]