Merge pull request #5 from rems-project/replacing_coq-sail_with_coq-s…

…ail-stdpp Refined dependency version
rems-project · Mar 12, 2024 · 37bcbe9 · 37bcbe9
2 parents b8ad4f2 + 6c15830
commit 37bcbe9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/coq-cheri-capabilities.opam b/coq-cheri-capabilities.opam
@@ -6,12 +6,12 @@ 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: "20240220"
+version: "20240312"
 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-stdpp" { (= "dev") | (>= "dev.2022-12-05.0.0231fed2" & <= "dev.2023-12-26.0.dd93e4c3") }
  "coq-sail-stdpp"
  "coq-ext-lib"
  "coq-stdpp-unstable"