ssreflect 1.6.4

.gitlab-ci.yml

@@ -26,14 +26,14 @@ variables:
 build-coq.8.7.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.2"
+    OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.4"
   except:
   - triggers
 
 build-coq.8.6.1:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.6.1   coq-mathcomp-ssreflect version 1.6.2"
+    OPAM_PINS: "coq version 8.6.1   coq-mathcomp-ssreflect version 1.6.4"
     VALIDATE: "1"
   artifacts:
     paths:
@@ -45,6 +45,6 @@ build-coq.8.6.1:
 build-iris.dev:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.2   coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
+    OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.4   coq-iris.dev git https://gitlab.mpi-sws.org/FP/iris-coq.git#$IRIS_REV"
   only:
   - triggers

README.md

@@ -7,7 +7,7 @@ Some example verification demonstrating the use of Iris.
 This version is known to compile with:
 
  - Coq 8.6.1 / 8.7.0
- - Ssreflect 1.6.2
+ - Ssreflect 1.6.4
  - 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