Add license to dune-project

rems-project · Nov 23, 2022 · 10b7ffc · 10b7ffc
1 parent 7b27b62
commit 10b7ffc
Show file tree

Hide file tree

Showing 10 changed files with 10 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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: [