repository='hg https://gmplib.org/repo/gmp/'
bootstrap='./.bootstrap'
mirrors='https://gmplib.org/download/gmp $(CT_Mirrors GNU gmp)'
milestones='5.1'