diff options
| author | someplaceguy <someplaceguy@wizy.org> | 2024-04-10 13:16:28 +0000 |
|---|---|---|
| committer | someplaceguy <someplaceguy@wizy.org> | 2024-04-11 11:16:11 +0100 |
| commit | 403c17e488fd6570964d627fa055ba4186a89f80 (patch) | |
| tree | 57d6b4b4f8e68fdd44e59a04ad9ee8452376d52c /pkgs/development/python-modules/rangehttpserver | |
| parent | 997cc15602d75b2ce2be08694b8b37f9b0cfc1bc (diff) | |
flint: remove mpir dependency
MPIR is no longer being maintained and its website no longer exists.
Furthermore, flint can use GMP instead of MPIR.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions