diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-06-10 14:11:36 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-06-17 09:15:12 +0200 |
commit | 8abb1f5afba9aea806f7c214b035834b16240295 (patch) | |
tree | 1220492a483b92fca19ca97319ec5bd58af6b8ac /doc/contributing | |
parent | 38d3352a65ac9d621b0cd3074d3bef27199ff78f (diff) |
compcert: add support for Coq 8.19.2
Diffstat (limited to 'doc/contributing')
0 files changed, 0 insertions, 0 deletions