Add license field to opam package definition file

ahelwer · ahelwer · commit 54cfd3b8a390 · 2024-07-29T09:59:00.000-04:00
Signed-off-by: Andrew Helwer &lt;2n8rn1w1f@mozmail.com&gt;
diff --git a/dune-project b/dune-project
@@ -10,6 +10,8 @@
 
 (source (github tlaplus/tlapm))
 
+(license BSD-2-Clause)
+
 (package
  (name tlapm)
  (synopsis "TLA+ Proof Manager")
diff --git a/tlapm.opam b/tlapm.opam
@@ -22,6 +22,7 @@ authors: [
   "Jean-Baptiste Tristan"
   "Hernan Vanzetto"
 ]
+license: "BSD-2-Clause"
 homepage: "https://github.com/tlaplus/tlapm"
 bug-reports: "https://github.com/tlaplus/tlapm/issues"
 depends: [

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,7 @@ authors: [`
`22`	`22`	`"Jean-Baptiste Tristan"`
`23`	`23`	`"Hernan Vanzetto"`
`24`	`24`	`]`
	`25`	`+license: "BSD-2-Clause"`
`25`	`26`	`homepage: "https://github.com/tlaplus/tlapm"`
`26`	`27`	`bug-reports: "https://github.com/tlaplus/tlapm/issues"`
`27`	`28`	`depends: [`