diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-07-07 13:40:29 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-07-07 13:40:29 -0400 |
| commit | 656846450cc88616a4554fe9b3c066973a475023 (patch) | |
| tree | 51fd7a381e8c8e6d753c202cbc2f4dd1f839c5f4 | |
| parent | ab6583f5bc4bb25c4eba5e6cc3f853534c3499f9 (diff) | |
README: recommend against Coq 8.5
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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): |