From 656846450cc88616a4554fe9b3c066973a475023 Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Fri, 7 Jul 2017 13:40:29 -0400 Subject: README: recommend against Coq 8.5 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index c89e29a80..2df493aea 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primiti NOTE: The github.com repo is only intermittently synced with github.mit.edu. -This repository has been tested with Coq 8.5 or 8.6. Coq 8.4 and older are known not to work. +This repository has been tested with Coq 8.6. Coq 8.4 and older are known not to work. Coq 8.5 is not regularly tested, but we are not aware of fundamental reasons why it should not work. To build (if your COQPATH variable is empty): -- cgit v1.2.3