diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-11-22 07:38:45 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-11-29 08:45:34 +0100 |
| commit | 5b861824b3fad451955ff373ebdb6af2175a85e4 (patch) | |
| tree | 053eaf398bce73f527acbbd013144f97aa7d55c7 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 94ebf717caf174cfc3b01409f2e6e11651a09194 (diff) | |
compcert: 3.9 → 3.10
Enable for Coq 8.14
Use default version of OCaml (instead of 4.05)
VST is not ready for CompCert 3.10, so it still uses 3.9
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions