- Added coq-stdpp dependency and bumped verison no

.github/workflows/ci.yml

@@ -11,7 +11,7 @@ jobs:
       - run: opam init --yes
       - run: eval $(opam env --switch=default)
       - run: opam repo add --yes --this-switch coq-released https://coq.inria.fr/opam/released
-      - run: opam repo add --yes  --this-switch iris-dev https://gitlab.mpi-sws.org/iris/opam.git
+      - run: opam repo add --yes --this-switch iris-dev https://gitlab.mpi-sws.org/iris/opam.git
       - run: opam pin --yes -n coq-sail-stdpp https://github.com/rems-project/coq-sail.git
       - run: opam install --yes ./coq-cheri-capabilities.opam
       - run: eval $(opam env)

coq-cheri-capabilities.opam

@@ -6,11 +6,12 @@ maintainer: ["[email protected]"]
 authors: ["Ricardo Almeida" "Vadim Zaliva"]
 license: "BSD-3-clause"
 homepage: "https://github.com/rems-project/coq-cheri-capabilities"
-version: "20240209"
+version: "20240220"
 bug-reports: "https://github.com/rems-project/coq-cheri-capabilities/issues"
 depends: [
   "dune" {>= "3.7"}
   "coq"
+  "coq-stdpp" {= "dev.2023-12-26.0.dd93e4c3" }
   "coq-sail-stdpp"
   "coq-ext-lib"
   "coq-stdpp-unstable"