[home_AndreasSchwab_13.1]
name=home:AndreasSchwab:13.1 (13.1)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/AndreasSchwab:/13.1/13.1/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/AndreasSchwab:/13.1/13.1/repodata/repomd.xml.key
enabled=1