Clone this repo:
  1. b4d5650 Update to gmp 6.0.0a by Bernhard Rosenkraenzer · 10 years ago linaro-6.0.0 master
  2. 4f74a6b gmp-current: Import gmp-5.1.1 by Bernhard Rosenkränzer · 11 years ago linaro-5.1.1 5.1.1