Peter Simons 2fb919fb5a gmp: update to version 5.1.3		2013-10-03 18:09:34 +02:00
..
4.3.2.nix	gmp-4.3.2.nix: disable test suite to fix the build	2013-04-08 01:24:14 +02:00
5.0.5.nix
5.1.x.nix	gmp: update to version 5.1.3	2013-10-03 18:09:34 +02:00
ignore-bad-cpuid.patch