diff options
| author | Connor Baker <connorbaker01@gmail.com> | 2022-03-25 11:55:52 -0400 |
|---|---|---|
| committer | Connor Baker <connorbaker01@gmail.com> | 2022-03-25 11:55:54 -0400 |
| commit | 9c83a461e5789eb22c8a6f4c28f632e058cc8410 (patch) | |
| tree | 6e05295767797a4aef955bdd167d3bb1777a053b /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 0489a21577032f24bad6e90fcaaf445a32e013c4 (diff) | |
ocamlPackages.z3: Remove unecessary patch
Reported in https://github.com/Z3Prover/z3/issues/5776 and fixed in https://github.com/Z3Prover/z3/commit/4f6fcf8ea78492e1d90398bcd3a663f8517f2a66.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions