diff options
| author | Grimmauld <Grimmauld@grimmauld.de> | 2025-06-11 23:24:00 +0200 |
|---|---|---|
| committer | Grimmauld <Grimmauld@grimmauld.de> | 2025-06-12 12:17:58 +0200 |
| commit | e86e8459f6ee384c90a1e9816b8e7bc8564f2c24 (patch) | |
| tree | 97e9afd20587426ed1cd5a0f0aa8668a9f047000 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | b00ae4f7a78695a302e7e8b08e6f7f0281207564 (diff) | |
fstar: force autotools build for z3
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions