licenses: add mirage-kv.5.0.0

djs55 · djs55 · commit be8a969d7ae7 · 2022-09-09T09:54:52.000+01:00
Signed-off-by: David Scott &lt;dave@recoil.org&gt;
diff --git a/scripts/licenses.ml b/scripts/licenses.ml
@@ -777,7 +777,7 @@ All rights reserved.
 
     |} ^ bsd_2_clause_simplified
   }
-  | "mirage-kv.4.0.0" | "mirage-kv.4.0.1" -> {
+  | "mirage-kv.4.0.0" | "mirage-kv.4.0.1" | "mirage-kv.5.0.0" -> {
     link = "https://github.com/mirage/mirage-kv/blob/5c2c75e5a0efc0c9390b11fab75b1e706ea8d4ab/LICENSE.md";
     text = isc
   }

Original file line number	Diff line number	Diff line change
`@@ -777,7 +777,7 @@ All rights reserved.`
`777`	`777`
`778`	`778`	`\|} ^ bsd_2_clause_simplified`
`779`	`779`	`}`
`780`		`- \| "mirage-kv.4.0.0" \| "mirage-kv.4.0.1" -> {`
	`780`	`+ \| "mirage-kv.4.0.0" \| "mirage-kv.4.0.1" \| "mirage-kv.5.0.0" -> {`
`781`	`781`	`link = "https://github.com/mirage/mirage-kv/blob/5c2c75e5a0efc0c9390b11fab75b1e706ea8d4ab/LICENSE.md";`
`782`	`782`	`text = isc`
`783`	`783`	`}`