diff --git a/libsail.opam b/libsail.opam
index bf39dc9de..365443f34 100644
--- a/libsail.opam
+++ b/libsail.opam
@@ -26,6 +26,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail.opam b/sail.opam
index 1b78d6f66..7ae3adef5 100644
--- a/sail.opam
+++ b/sail.opam
@@ -26,6 +26,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_c_backend.opam b/sail_c_backend.opam
index 960734b33..ce4922203 100644
--- a/sail_c_backend.opam
+++ b/sail_c_backend.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_coq_backend.opam b/sail_coq_backend.opam
index 5164e20a8..86920bfc7 100644
--- a/sail_coq_backend.opam
+++ b/sail_coq_backend.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_latex_backend.opam b/sail_latex_backend.opam
index 9f2458e4e..95acc9a54 100644
--- a/sail_latex_backend.opam
+++ b/sail_latex_backend.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_lem_backend.opam b/sail_lem_backend.opam
index f6f80fe0f..8afd50217 100644
--- a/sail_lem_backend.opam
+++ b/sail_lem_backend.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_manifest.opam b/sail_manifest.opam
index a4278cb12..fce3028f4 100644
--- a/sail_manifest.opam
+++ b/sail_manifest.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_ocaml_backend.opam b/sail_ocaml_backend.opam
index acd606521..e8e9f6986 100644
--- a/sail_ocaml_backend.opam
+++ b/sail_ocaml_backend.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_output.opam b/sail_output.opam
index 62f8a11f9..0b9f544ac 100644
--- a/sail_output.opam
+++ b/sail_output.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
diff --git a/sail_smt_backend.opam b/sail_smt_backend.opam
index 960734b33..ce4922203 100644
--- a/sail_smt_backend.opam
+++ b/sail_smt_backend.opam
@@ -15,6 +15,7 @@ authors: [
   "Peter Sewell"
   "Mark Wassell"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [