nixpkgs/pkgs/development/tools/misc/gnum4/default.nix