flint: remove mpir dependency

MPIR is no longer being maintained and its website no longer exists.

Furthermore, flint can use GMP instead of MPIR.

-3
-3
pkgs/development/libraries/flint/default.nix
··· 2 , stdenv 3 , fetchurl 4 , gmp 5 - , mpir 6 , mpfr 7 , ntl 8 , openblas ? null, blas, lapack ··· 22 23 buildInputs = [ 24 gmp 25 - mpir 26 mpfr 27 ntl 28 ] ++ lib.optionals withBlas [ ··· 35 36 configureFlags = [ 37 "--with-gmp=${gmp}" 38 - "--with-mpir=${mpir}" 39 "--with-mpfr=${mpfr}" 40 "--with-ntl=${ntl}" 41 ] ++ lib.optionals withBlas [
··· 2 , stdenv 3 , fetchurl 4 , gmp 5 , mpfr 6 , ntl 7 , openblas ? null, blas, lapack ··· 21 22 buildInputs = [ 23 gmp 24 mpfr 25 ntl 26 ] ++ lib.optionals withBlas [ ··· 33 34 configureFlags = [ 35 "--with-gmp=${gmp}" 36 "--with-mpfr=${mpfr}" 37 "--with-ntl=${ntl}" 38 ] ++ lib.optionals withBlas [