Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Fairis
Commits
b32678d7
Commit
b32678d7
authored
Jul 13, 2018
by
Ralf Jung
Browse files
bump Iris to master
parent
dafb6fa6
Pipeline
#11705
passed with stage
in 12 minutes and 21 seconds
Changes
1
Pipelines
68
Hide whitespace changes
Inline
Side-by-side
opam
View file @
b32678d7
...
...
@@ -6,5 +6,5 @@ install: [make "install"]
remove: ["rm" "-rf" "'%{lib}%/coq/user-contrib/fri"]
depends: [
"coq" { (>= "8.7.2") | (= "dev") }
"coq-iris" { (= "
branch.gen_proofmo
de.2018-0
6
-1
5.3.d88d654b
") | (= "dev") }
"coq-iris" { (= "de
v
.2018-0
7
-1
3.0.cbf73155
") | (= "dev") }
]
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment