diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-31 14:53:38 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-07-31 14:53:38 +0200 |
| commit | 5547231519be37243ad0cb5f1a320547052c5775 (patch) | |
| tree | 19bfa25df0ce8cdb10fbb4f9eb2b6f98ef4d849e /arm | |
| parent | 7abffab74d41c0d63631bf52bf65a4cb731b15c0 (diff) | |
| download | compcert-5547231519be37243ad0cb5f1a320547052c5775.tar.gz compcert-5547231519be37243ad0cb5f1a320547052c5775.zip | |
Accept Coq version 8.6.1 as supported
8.6.1 works just fine with the current CompCert.
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions