mention 8.7.1 in README

20fb85af · Ralf Jung · ac67833a · 20fb85af · 20fb85af
Commit 20fb85af authored Dec 17, 2017 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

.gitlab-ci.yml .gitlab-ci.yml +1 -1

README.md README.md +1 -1

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -74,7 +74,7 @@ build-coq.8.6.1:
  except:
  - triggers

-build-coq.8.6:
+build-coq.8.6.0:
  <<: *template
  stage: build_more
  variables:

--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ developed by Robbert Krebbers, Ralf Jung, and Jacques Henri-Jourdan.

 This version is known to compile with:

- - Coq version 8.6 / 8.6.1 / 8.7.0
+ - Coq version 8.6.0 / 8.6.1 / 8.7.0 / 8.7.1

 ## Building Instructions