Merge pull request #34 from WasmCert/opam.0.2

adjusted representation of dune bounds
WasmCert · Jan 23, 2024 · b6226ea · b6226ea
2 parents 17b8cd0 + 726bf1c
commit b6226ea
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-wasm.opam b/coq-wasm.opam
@@ -13,7 +13,7 @@ homepage: "https://github.com/WasmCert/WasmCert-Coq"
 bug-reports: "https://github.com/WasmCert/WasmCert-Coq/issues"
 depends: [
   "dune" {>= "3.0"}
-  "coq" {>= "8.16" & <= "8.17.1"}
+  "coq" {>= "8.16" & < "8.18~"}
   "coq-compcert" {>= "3.11"}
   "coq-mathcomp-ssreflect" {>= "1.16.0" & <= "1.18.0"}
   "coq-itree" {>= "3.1.0"}

diff --git a/dune-project b/dune-project
@@ -13,7 +13,7 @@
   (synopsis "Wasm formalisation in Coq")
   (description "Wasm formalisation in Coq, following the AFP formalisation of Conrad Watt")
   (depends
-    (coq (and (>= 8.16) (<= 8.17.1)))
+    (coq (and (>= 8.16) (< 8.18~)))
     (coq-compcert (>= 3.11))
     (coq-mathcomp-ssreflect (and (>= 1.16.0) (<= 1.18.0)))
     (coq-itree (>= 3.1.0))