[home_carlos_wang_mpfr-v401]
name=RAX RISC-V Migration Verification (openSUSE_Tumbleweed)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/carlos_wang:/mpfr-v401/openSUSE_Tumbleweed/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/carlos_wang:/mpfr-v401/openSUSE_Tumbleweed/repodata/repomd.xml.key
enabled=1