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 /lib/lists.nix | |
| parent | 38d3352a65ac9d621b0cd3074d3bef27199ff78f (diff) | |
compcert: add support for Coq 8.19.2
Diffstat (limited to 'lib/lists.nix')
0 files changed, 0 insertions, 0 deletions