Relaxing Coq version

rems-project · Aug 25, 2023 · 7e822ef · 7e822ef
1 parent 175542a
commit 7e822ef
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -9,7 +9,7 @@ homepage: "https://github.com/rems-project/coq-cheri-capabilities"
 bug-reports: "https://github.com/rems-project/coq-cheri-capabilities/issues"
 depends: [
   "dune" {>= "3.7"}
-  "coq" {= "8.17.1"}
+  "coq" {>= "8.17"}
   "coq-sail"
   "coq-ext-lib"
   "coq-stdpp-unstable" {= "dev.2022-12-05.0.0231fed2"}