Bumped version number

rems-project · Feb 9, 2024 · 8f8eca2 · 8f8eca2
1 parent dde5d79
commit 8f8eca2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -6,7 +6,7 @@ maintainer: ["[email protected]"]
 authors: ["Ricardo Almeida" "Vadim Zaliva"]
 license: "BSD-3-clause"
 homepage: "https://github.com/rems-project/coq-cheri-capabilities"
-version: "20231019"
+version: "20240209"
 bug-reports: "https://github.com/rems-project/coq-cheri-capabilities/issues"
 depends: [
   "dune" {>= "3.7"}