Coq 8.7.0 is too old

.gitlab-ci.yml

@@ -34,7 +34,7 @@ variables:
 
 ## Build jobs
 
-build-coq.8.7.0:
+build-coq.8.7.2:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.4"
+    OPAM_PINS: "coq version 8.7.2"

README.md

@@ -7,7 +7,7 @@ termination-preserving fair refinement.
 
 This version is known to compile with:
 
- - Coq 8.7.0
+ - Coq 8.7.2
  - A development version of [std++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp)
 
 The easiest way to install the correct versions of the dependencies is through

opam

@@ -5,6 +5,6 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: ["rm" "-rf" "'%{lib}%/coq/user-contrib/fri"]
 depends: [
-  "coq" { >= "8.7" }
+  "coq" { (>= "8.7") | (= "dev") }
   "coq-iris"  { (= "branch.gen_proofmode.2018-03-04.7") | (= "dev") }
 ]