diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-12-03 17:03:20 +0000 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2022-12-03 18:34:13 +0000 |
| commit | 26c369214e6f76216ac3ef6ed7dddfaad486ab3e (patch) | |
| tree | 2ff8b31cf8a76c4af51fb9fb4f5febbe2c07fe62 /pkgs/development/python-modules/termplotlib | |
| parent | d5299641bb35b3ead5db880a02a27d1665587f5e (diff) | |
isabelle: use prebuilt z3
Isabelle requires this specific version of z3 which is being removed
from nixpkgs due to requiring python2 for its build. We can work around
this by patching the distributed binary
Diffstat (limited to 'pkgs/development/python-modules/termplotlib')
0 files changed, 0 insertions, 0 deletions