Mathijs Kwik 418f6a536f 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
..
4.3.2.nix
5.0.5.nix	gmp: add back the cpuid patch to 5.0.5	2013-01-13 11:27:29 +01:00
5.1.0.nix	gmp: version 5.1.0 has the cpu-id patch applied already	2013-01-11 17:08:24 +01:00
ignore-bad-cpuid.patch