diff --git a/_CoqProject b/_CoqProject
index ec30549..deb35d5 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -2,4 +2,6 @@
 
 -R theories CheriCaps
 
+theories
+
 -Q _build/default/theories CheriCaps
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
index de3895a..aa4a625 100644
--- a/coq-cheri-capabilities.opam
+++ b/coq-cheri-capabilities.opam
@@ -6,7 +6,7 @@ maintainer: ["ricardo.almeida@ed.ac.uk"]
 authors: ["Ricardo Almeida" "Vadim Zaliva"]
 license: "BSD-3-clause"
 homepage: "https://github.com/rems-project/coq-cheri-capabilities"
-version: "20241021"
+version: "20241030"
 bug-reports: "https://github.com/rems-project/coq-cheri-capabilities/issues"
 depends: [
   "dune" {>= "3.7"}