diff options
| author | Théo Zimmermann <theo.zimmermann@inria.fr> | 2021-08-19 12:47:58 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-21 11:55:12 +0200 |
| commit | 170128a5a752d8acf20b8118b1afdcf70b9ef8aa (patch) | |
| tree | 8f85cdef73e6caabcf0ff0fe2bce3dd2af434667 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 7c97a260738ebb58fee94b02e39fd5b90f9022ea (diff) | |
coqPackages.serapi: patch to fix COQPATH issue
SerAPI was interpreting paths as relative to the Coq root.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions