diff options
Diffstat (limited to 'pkgs/development/tools/misc/gnum4')
| -rw-r--r-- | pkgs/development/tools/misc/gnum4/m4-1.4.7.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/development/tools/misc/gnum4/m4-1.4.7.nix b/pkgs/development/tools/misc/gnum4/m4-1.4.7.nix new file mode 100644 index 000000000000..7f3f67bb811f --- /dev/null +++ b/pkgs/development/tools/misc/gnum4/m4-1.4.7.nix @@ -0,0 +1,8 @@ +{stdenv, fetchurl}: +stdenv.mkDerivation { + name = "gnum4-1.4.7"; + src = fetchurl { + url = ftp://ftp.nluug.nl/pub/gnu/m4/m4-1.4.7.tar.bz2; + md5 = "0115a354217e36ca396ad258f6749f51"; + }; +} |