diff options
| author | Naïm Camille Favier <n@monade.li> | 2025-07-16 15:00:46 +0200 |
|---|---|---|
| committer | Naïm Camille Favier <n@monade.li> | 2025-07-16 17:34:58 +0200 |
| commit | 4d3c5d0dc3217d356c123080ac0c5ca58002c031 (patch) | |
| tree | 7b6ad2a70d0d9c0753c8b09ea5a7a7735d23905c /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | a94dd3a654caea2e1229fc4eea0bd6f2f85ca530 (diff) | |
agda: use `getBin Agda` instead of `Agda.bin`
Makes the wrapper work if `enableSeparateBinOutput` is off.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions