[home_pdostal]
name=Pavel Dostal's home project (openSUSE_Factory_RISCV)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/pdostal/openSUSE_Factory_RISCV/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/pdostal/openSUSE_Factory_RISCV/repodata/repomd.xml.key
enabled=1