Lluís Batlle i Rossell 2839c45d97 gmp: Adding more urls for 5.1.0 ...

It worked some days ago, but gnu mirrors seem to have removed gmp 5.1.0

2013-01-06 14:06:36 +00:00

..

4.3.2.nix

Rename buildNativeInputs -> nativeBuildInputs

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

5.1.0.nix

gmp: Adding more urls for 5.1.0

2013-01-06 14:06:36 +00:00

ignore-bad-cpuid.patch

* GMP updated to 5.0.4.

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