From e8edac3b4b955b1d011bfc0e384d97fef90ecd5b Mon Sep 17 00:00:00 2001
From: Zhen Zhang <izgzhen@gmail.com>
Date: Tue, 3 Jan 2017 16:54:17 +0800
Subject: [PATCH] Update version number

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

diff --git a/README.md b/README.md
index f438263..0e3c77d 100644
--- a/README.md
+++ b/README.md
@@ -6,8 +6,8 @@ Atomicity related verification based on Iris logic.
 
 This version is known to compile with:
 
- - Coq 8.5pl3
- - Ssreflect 1.6
+ - Coq 8.6
+ - Ssreflect 1.6.1
  - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)
 
 The easiest way to install the correct versions of the dependencies is through
-- 
GitLab