|
|
|
@ -16930,7 +16930,7 @@ with pkgs; |
|
|
|
|
gmp5 = callPackage ../development/libraries/gmp/5.1.x.nix { }; |
|
|
|
|
gmp6 = callPackage ../development/libraries/gmp/6.x.nix { }; |
|
|
|
|
gmp = gmp6; |
|
|
|
|
gmpxx = appendToName "with-cxx" (gmp.override { cxx = true; }); |
|
|
|
|
gmpxx = gmp.override { cxx = true; }; |
|
|
|
|
|
|
|
|
|
#GMP ex-satellite, so better keep it near gmp |
|
|
|
|
mpfr = callPackage ../development/libraries/mpfr { }; |
|
|
|
|