Peter Simons 4994518501 gmp: update to version 5.1.1		2013-02-18 12:01:49 +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.1.nix	gmp: update to version 5.1.1	2013-02-18 12:01:49 +01:00
ignore-bad-cpuid.patch