[home_mimi_vx_ghc-bootstrap]
name=home:mimi_vx:ghc-bootstrap (openSUSE_Factory)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/mimi_vx:/ghc-bootstrap/openSUSE_Factory/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/mimi_vx:/ghc-bootstrap/openSUSE_Factory/repodata/repomd.xml.key
enabled=1