Fix issues

coq · Sep 17, 2023 · 9e467d0 · 9e467d0
1 parent 4dc4602
commit 9e467d0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/...oq-freesim/coq-freesim.1.0.0/FreeSim.opam → ...ckages/coq-freesim/coq-freesim.1.0.0/opam b/...oq-freesim/coq-freesim.1.0.0/FreeSim.opam → ...ckages/coq-freesim/coq-freesim.1.0.0/opam
@@ -5,7 +5,6 @@ license: "BSD-3-Clause"
 homepage: "https://github.com/CCR-project/FreeSim"
 bug-reports: "https://github.com/CCR-project/FreeSim/issues"
 dev-repo: "git+https://github.com/CCR-project/FreeSim.git"
-version: "1.0.0"
 
 synopsis: "Stuttering For Free"
 description: """
@@ -30,7 +29,7 @@ tags: [
 ]
 
 depends: [
-  "coq" { (= "8.15.2") }
+  "coq" { >= "8.15" & < "8.16" }
   "coq-paco" { (= "4.1.2") }
   "coq-itree" { (= "4.0.0") }
   "coq-ordinal" { (= "0.5.2") }