Update readme.

122ef54b · Jacques-Henri Jourdan · 3c28c999 · 122ef54b
Commit 122ef54b authored 7 years ago by Jacques-Henri Jourdan
--- a/README.md
+++ b/README.md
@@ -8,7 +8,10 @@ This version is known to compile with:

 - Coq 8.6
 - Ssreflect 1.6.1
- - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
+ - [Coq-std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
+   at commit ee6200b4d74bfd06034f3cc36d1afdc309427e5c
+ - [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/),
+   at commit 398bae9d092b6568cf8d504ca98d8810979eea33

 The easiest way to install the correct versions of the dependencies is through
 opam.  Coq packages are available on the coq-released repository, set up by the