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 /aarch64/NeedOp.v | |
parent | ca2ebae012d6cdcc19d0a01f54f3dad614de8e68 (diff) | |
download | compcert-06956421b4307054af221c118c5f59593c0e67b9.tar.gz compcert-06956421b4307054af221c118c5f59593c0e67b9.zip |
configure: support Coq 8.12.2
Diffstat (limited to 'aarch64/NeedOp.v')
0 files changed, 0 insertions, 0 deletions