[home_marec2000_devel_tools_ide] name=Integrated Development Environment (openSUSE_13.1) type=rpm-md baseurl=https://download.opensuse.org/repositories/home:/marec2000:/devel:/tools:/ide/openSUSE_13.1/ gpgcheck=1 gpgkey=https://download.opensuse.org/repositories/home:/marec2000:/devel:/tools:/ide/openSUSE_13.1/repodata/repomd.xml.key enabled=1