Skip to content

GitLab

Commit 68cf9a98 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix opam file

parent d09f997f
Pipeline #7243 failed with stage
in 7 minutes and 22 seconds
Hide whitespace changes
Inline Side-by-side
opam
View file @ 68cf9a98
......@@ -6,6 +6,5 @@ install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/fri" ]
depends: [
"coq" { >= "8.7" }
"coq-stdpp" { (>= "1.1.0") | (>= "dev") }
"coq-iris" { (= "branch.gen_proofmode.2018-03-04.7") }
"coq-iris" { (= "branch.gen_proofmode.2018-03-04.7") | (= "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