diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 16:59:04 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-24 16:59:04 +0100 |
| commit | 06956421b4307054af221c118c5f59593c0e67b9 (patch) | |
| tree | cb690817596785c520d9edbf0a82696e9d3d65ca /powerpc/Conventions1.v | |
| parent | ca2ebae012d6cdcc19d0a01f54f3dad614de8e68 (diff) | |
| download | compcert-kvx-06956421b4307054af221c118c5f59593c0e67b9.tar.gz compcert-kvx-06956421b4307054af221c118c5f59593c0e67b9.zip | |
configure: support Coq 8.12.2
Diffstat (limited to 'powerpc/Conventions1.v')
0 files changed, 0 insertions, 0 deletions