diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2025-09-29 13:43:37 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2025-09-29 13:45:41 +0200 |
| commit | d1d4809b1b647c53f8d76179ba7e574f28f154ff (patch) | |
| tree | fb5561bfd26e2d762c4e4c51aec75c2185d44a76 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 092ff7a67f850eeb4f7d378bf6e37a3de9aeb580 (diff) | |
compcert: default to the Coq 9.0 version
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions