diff options
| author | Robert Scott <code@humanleg.org.uk> | 2023-05-27 16:52:52 +0100 |
|---|---|---|
| committer | Robert Scott <code@humanleg.org.uk> | 2023-05-27 20:49:34 +0100 |
| commit | 2c9bea0eaadaf8e3c17afac89ae53154e37016da (patch) | |
| tree | 7066f207a0933790f9e4a7a0b5e70106650b5033 /pkgs/development/python-modules/rangehttpserver | |
| parent | 0109faee63d2f60d5c4e33dda41fd2c33f6942fc (diff) | |
sharpsat-td: patch with updated version of mpreal/mpfrc++
this version is needed for mpfr 4.2.0+ support
lesson - don't merge old PRs without re-testing them yourself
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions