Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
examples
70104c0f9ae0f9862e01758f5779dd719db6bf6e
70104c0f9ae0f9862e01758f5779dd719db6bf6e
Switch branch/tag
examples
opam.pins
Find file
Normal view
History
Permalink
opam.pins
89 Bytes
Newer
Older
Bump Iris version.
Robbert Krebbers
committed
Dec 12, 2016
1
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 0cc2c6e098bfb05c056783b9212c9218fa46aa5e
