Commit 17928602 authored by Joseph Tassarotti's avatar Joseph Tassarotti
Browse files

Add proof mode dependency to opam.

parent d21adae8
......@@ -7,4 +7,5 @@ remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/fri" ]
depends: [
"coq" { >= "8.7" }
"coq-stdpp" { (= "dev.2017-11-22.1") | (= "dev") }
]
\ No newline at end of file
"coq-iris" { (= "branch.gen_proofmode.2017-11-26.0") }
]
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