gmp: add back the cpuid patch to 5.0.5

it was lost during 5.0.5 -> 5.1.0 -> 5.1.0 w/o patch -> 5.0.5 w/o patch
2013-01-13 11:27:29 +01:00 · 2013-01-13 11:27:29 +01:00 · eebc0c6965
commit eebc0c6965
parent 9b003f0668
1 changed files with 2 additions and 0 deletions
--- a/pkgs/development/libraries/gmp/5.0.5.nix
+++ b/pkgs/development/libraries/gmp/5.0.5.nix
@ -8,6 +8,8 @@ stdenv.mkDerivation rec {
    sha256 = "1jfymbr90mpn0zw5sg001llqnvf2462y77vgjknrmfs1rjn8ln0z";
  };

+  patches = [ ./ignore-bad-cpuid.patch ];
+
  nativeBuildInputs = [ m4 ];

  configureFlags =