From b1e5b11ee1d35f8cdc6e937908e23fa84c73fa94 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 21 Dec 2016 18:00:33 +0100
Subject: [PATCH] ssreflect 1.6.1 is out :)

---
 .gitlab-ci.yml | 2 +-
 README.md      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0f0eb178..251ffade 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,7 +3,7 @@ image: ralfjung/opam-ci:latest
 lrust-coq8.5.3:
   script:
   # prepare
-  - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6'
+  - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1'
   # build
   - 'time make -j8'
   cache:
diff --git a/README.md b/README.md
index 3deb87fc..08a97a79 100644
--- a/README.md
+++ b/README.md
@@ -7,7 +7,7 @@ This is the Coq formalization of lambda-Rust.
 This version is known to compile with:
 
  - Coq 8.5pl3
- - Ssreflect 1.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