diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0f0eb1781f27ca2d4fc86e60c2fb920bdd87d700..251ffadecb01875f3ea400fb5905371eff031a9b 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 3deb87fc4594130a13eb924fcae3f82ec39e036a..08a97a7917a1e6a8beea132d6c9f79f3775c2858 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