diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2024-04-01 14:20:56 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-04-02 22:41:01 +0200 |
| commit | e976fa8f49c35cf28496301a1ef2aa23ad576b56 (patch) | |
| tree | 5abf5119c6720d845f673ed0c5b3fc15d97a0511 /.version | |
| parent | c02cbef6a9657a1b6731ddff4aa98ddc33fb2e54 (diff) | |
coqPackages.vcfloat: enable for Coq 8.18 & 8.19
Diffstat (limited to '.version')
0 files changed, 0 insertions, 0 deletions