Commit 1ebaee7b authored by Michael Sammler's avatar Michael Sammler
Browse files

change coq dependency

parent 837bd038
Pipeline #54263 passed with stage
in 34 minutes and 56 seconds
......@@ -9,7 +9,7 @@ RefinedC to get at working setup suitable for development of RefinedC
and building the examples in this repository:
```
opam switch create . ocaml-base-compiler.4.11.1
opam switch create . ocaml-base-compiler.4.11.1 --no-install
sudo apt-get install libmpfr-dev # Implicit Cerberus dependency.
opam repo add coq-released "https://coq.inria.fr/opam/released"
opam repo add iris-dev "https://gitlab.mpi-sws.org/iris/opam.git"
......
......@@ -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~") | (= "dev") }
"coq" { (>= "8.13.2" & < "8.15~") }
"coq-iris" { (= "dev.2021-09-13.0.6575260a") | (= "dev") }
"dune" {>= "2.7.0"}
"cerberus" {= "~dev"}
......
Markdown is supported
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