diff options
| author | Vaibhav Sagar <vaibhavsagar@gmail.com> | 2019-03-27 22:30:45 -0400 |
|---|---|---|
| committer | Vaibhav Sagar <vaibhavsagar@gmail.com> | 2019-03-27 22:30:45 -0400 |
| commit | 9c3b994c4954de48c2b5337cc7ce12816534df33 (patch) | |
| tree | ac730055ba60824347f988ef7ca3442a69e98241 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | cb0f01cf2ef639055bcf73b09b4ccad37fe9859b (diff) | |
Use Poly/ML 5.7 for Isabelle
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions