From df365144a02d498435369128af8f8c45d34f473d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 15 Mar 2018 21:54:28 +0100
Subject: [PATCH] update README

---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 5fcb1c81..7bbad27d 100644
--- a/README.md
+++ b/README.md
@@ -6,9 +6,8 @@ which are variants of **GPS** and **RSL** in Iris.
 ## Dependencies
 
 The master branch is known to compile with:
-* Coq 8.6
-* Ssreflect 1.6.1
-* Iris 3.0
+* Coq 8.7.1
+* Iris (MoSeL branch)
 
 ## Build
 
-- 
GitLab