nixpkgs/pkgs/development/libraries/flint
someplaceguy 403c17e488 flint: remove mpir dependency
MPIR is no longer being maintained and its website no longer exists.

Furthermore, flint can use GMP instead of MPIR.
2024-04-11 11:16:11 +01:00
..
3.nix
default.nix flint: remove mpir dependency 2024-04-11 11:16:11 +01:00