diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-20 10:36:22 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-20 10:36:22 +0200 |
| commit | c96c50577569c6077c42e756bbf12d31d9c82717 (patch) | |
| tree | 2e7860e93e2b11d2c0e7849f939f1054d4841321 /flocq | |
| parent | b4f59c4773206fbdf850611e6bbac1767d459dd5 (diff) | |
| download | compcert-c96c50577569c6077c42e756bbf12d31d9c82717.tar.gz compcert-c96c50577569c6077c42e756bbf12d31d9c82717.zip | |
Coq 8.7.0 support
configure: accept Coq 8.7.0 and 8.6.1.
(Coq 8.6 became incompatible with commit b4f59c4.)
Changelog: updated.
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions