Commit 1814ae85 authored by Michael Sammler's avatar Michael Sammler
Browse files

allow dev version of coq

parent 8712479e
Pipeline #53945 passed with stage
in 13 minutes and 28 seconds
......@@ -16,7 +16,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/refinedc/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/iris/refinedc.git"
depends: [
"coq" { (>= "8.13.2" & < "8.14~") }
"coq" { (>= "8.13.2" & < "8.14~") | (= "dev") }
"coq-iris" { (= "dev.2021-09-13.0.6575260a") | (= "dev") }
"dune" {>= "2.7.0"}
"cerberus" {= "~dev"}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment