Mirror of packages-integer-gmp repository. DO NOT SUBMIT PULL REQUESTS HERE - View it on GitHub