[home_Andreas_Schwab_riscv_ghc] name=home:Andreas_Schwab:riscv:ghc (standard) type=rpm-md baseurl=https://download.opensuse.org/repositories/home:/Andreas_Schwab:/riscv:/ghc/standard/ gpgcheck=1 gpgkey=https://download.opensuse.org/repositories/home:/Andreas_Schwab:/riscv:/ghc/standard/repodata/repomd.xml.key enabled=1