Bumped version of coq-stdpp-unstable

rems-project · Aug 28, 2023 · 28aa46d · 28aa46d
1 parent 61289ad
commit 28aa46d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -12,7 +12,7 @@ depends: [
   "coq" {< "8.18.0"}
   "coq-sail"
   "coq-ext-lib"
-  "coq-stdpp-unstable" {= "dev.2022-12-05.0.0231fed2"}
+  "coq-stdpp-unstable" {<= "dev.2023-08-03.3.4be5fd62"}
   "odoc" {with-doc}
 ]
 build: [