diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-19 19:07:32 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-19 19:07:32 +0200 |
commit | 7563a5df926a4c6fb1489a7a4c847641c8a35095 (patch) | |
tree | 1c0c70c16fcdb56abb2cd5406473786e8e188049 /test | |
parent | 0877e32e0bb836a1b3b34d678f0c68f852c55ff3 (diff) | |
download | compcert-7563a5df926a4c6fb1489a7a4c847641c8a35095.tar.gz compcert-7563a5df926a4c6fb1489a7a4c847641c8a35095.zip |
Bump minimal Coq version to 8.9.0
This is required to have List.repeat in the standard library (next commit).
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions