diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2022-03-20 18:26:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-20 18:26:33 +0100 |
| commit | 3aa72cc4711262ca414bdf66d02d6194680b6e53 (patch) | |
| tree | b64565bd741715b47dcc15327b2bf8cb60a0b374 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 59260216d68b9756e62e5ecb3231477a8a8942ee (diff) | |
| parent | c1ef185bdb88b148428fba00260afd23f8fc11ef (diff) | |
Merge pull request #157515 from jvanbruegge/isabelle-naproche
isabelle: Enable and use naproche from nixpkgs
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions