name: gmp version: 6.1.2 release: 1 sources: https://gmplib.org/download/gmp/gmp-%{version}.tar.xz