diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-14 09:49:28 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-14 09:49:28 +0100 |
| commit | e87f24575e79e7866b132f0a970cf6f82d115b88 (patch) | |
| tree | 5a6ca331c26d1d7535740a6d92ee411d77f12ee5 /Makefile.extr | |
| parent | dc27018744ce01be26a76414fc51f8c4ff44f12b (diff) | |
| download | compcert-kvx-e87f24575e79e7866b132f0a970cf6f82d115b88.tar.gz compcert-kvx-e87f24575e79e7866b132f0a970cf6f82d115b88.zip | |
Support Coq 8.12.1
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions