[home_eclipseagent_opam]
name=opam (openSUSE_12.3)
type=rpm-md
baseurl=http://download.opensuse.org/repositories/home:/eclipseagent:/opam/openSUSE_12.3/
gpgcheck=1
gpgkey=http://download.opensuse.org/repositories/home:/eclipseagent:/opam/openSUSE_12.3/repodata/repomd.xml.key
enabled=1