The package that installs the repository for Grase Hotspot packages