Update coq-cheri-capabilities.opam

rems-project · Mar 12, 2024 · 0a6d1f1 · 0a6d1f1
1 parent 37bcbe9
commit 0a6d1f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -31,4 +31,4 @@ build: [
  "@doc" {with-doc}
  ]
 ]
-dev-repo: "git+https://github.com/rems-project/coq-cheri-capabilities.git#replacing_coq-sail_with_coq-sail-stdpp"
+dev-repo: "git+https://github.com/rems-project/coq-cheri-capabilities.git"