[home_ptrommler_formal_debug]
name=Software for my Formal Methods and Semantics Class at Technische Hochschule Nuernberg (openSUSE_Leap_15.3)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/home:/ptrommler:/formal/openSUSE_Leap_15.3_debug/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/home:/ptrommler:/formal/openSUSE_Leap_15.3_debug/repodata/repomd.xml.key
enabled=1