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