repository="hg https://gmplib.org/repo/gmp/"
milestones="5.1"