[home_ptrommler_formal]
name=Software for my Formal Methods class at Technische Hochschule Nuernberg (openSUSE_13.2)
type=rpm-md
baseurl=http://download.opensuse.org/repositories/home:/ptrommler:/formal/openSUSE_13.2/
gpgcheck=1
gpgkey=http://download.opensuse.org/repositories/home:/ptrommler:/formal/openSUSE_13.2//repodata/repomd.xml.key
enabled=1