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"]