Merge pull request #145 from ahelwer/opam-package-license

kape1395 · web-flow · commit 494f83bc2a92 · 2024-08-23T16:03:38.000+03:00
Add license field to opam package definition file
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: [`