Peter Simons b7e2799d32 gmp: version 5.1.0 has the cpu-id patch applied already

2013-01-11 15:52:42 +01:00

..

4.3.2.nix

Rename buildNativeInputs -> nativeBuildInputs

2012-12-28 19:20:09 +01:00

5.1.0.nix

gmp: version 5.1.0 has the cpu-id patch applied already

2013-01-11 15:52:42 +01:00

ignore-bad-cpuid.patch

* GMP updated to 5.0.4.

2012-04-01 22:17:00 +00:00