From a985fff7ca19bd6873f04e624ba20c9105049e03 Mon Sep 17 00:00:00 2001
From: Jerome Simeon <simeon@us.ibm.com>
Date: Wed, 10 Jan 2018 12:44:02 -0500
Subject: [PATCH] Update version of Coq (8.7.1)

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 211d81acd..3c4cebc3c 100644
--- a/README.md
+++ b/README.md
@@ -30,7 +30,7 @@ To build Q\*cert from the source, you will need:
   - camlp5, a pre-processor (https://camlp5.github.io)
   - base64, a library for base64 encoding and decoding (https://github.com/mirage/ocaml-base64)
   - js\_of\_ocaml, a compiler from OCaml to JavaScript
-- Coq 8.7.0 (https://coq.inria.fr/)
+- Coq 8.7.1 (https://coq.inria.fr/)
 
 An easy way to get set up on most platforms is to use the OCaml
 package manager (https://opam.ocaml.org). Once opam is installed, you