Commit fadf75df authored by Michael Sammler's avatar Michael Sammler
Browse files

remove dev from Coq dependency

parent c0ffc3f9
Pipeline #36593 failed with stage
in 10 minutes and 26 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.11.0" & < "8.12~") | (= "dev") }
"coq" { (>= "8.11.0" & < "8.12~") }
"coq-iris" { (= "dev.2020-10-01.3.8f6c063a") | (= "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