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