Repositories for gmp

This package is inherited from the project home:bmwiedemann:reproducible:distribution:ring0 and changing repository flags has no effect.