Commit db0a979b authored by Dan Frumin's avatar Dan Frumin

Bump Iris version

parent 3447371d
...@@ -2,11 +2,9 @@ ...@@ -2,11 +2,9 @@
This version is known to compile with: This version is known to compile with:
- Coq 8.6.1 - Coq 8.6.1 Ssreflect 1.6 Autosubst branch [coq86-devel](https://github.com/uds-psl/autosubst/tree/coq86-devel)
- Ssreflect 1.6
- Autosubst branch [coq86-devel](https://github.com/uds-psl/autosubst/tree/coq86-devel)
- std++ version [32570aa6e0d04633047d9fddb3cf8da1748d9695](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/tree/32570aa6e0d04633047d9fddb3cf8da1748d9695) - std++ version [32570aa6e0d04633047d9fddb3cf8da1748d9695](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp/tree/32570aa6e0d04633047d9fddb3cf8da1748d9695)
- Iris version [6117c3e4a57307fd374780836a130ac86608d8cd](https://gitlab.mpi-sws.org/FP/iris-coq/tree/6117c3e4a57307fd374780836a130ac86608d8cd) - Iris version [7e33a806f2cd8da0409f1e5a13126317afd23e3d](https://gitlab.mpi-sws.org/FP/iris-coq/tree/7e33a806f2cd8da0409f1e5a13126317afd23e3d)
# Compilation # Compilation
......
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