core/pkgs/by-name/mp/mpfr
..
default.nix