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 /lib | |
| parent | 0877e32e0bb836a1b3b34d678f0c68f852c55ff3 (diff) | |
| download | compcert-kvx-7563a5df926a4c6fb1489a7a4c847641c8a35095.tar.gz compcert-kvx-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 'lib')
0 files changed, 0 insertions, 0 deletions