Re: [arch-general] Bad url field in gmp PKGBUILD