[home_derselbst_ocaml]
name=home:derselbst:ocaml (openSUSE_13.1)
type=rpm-md
baseurl=http://download.opensuse.org/repositories/home:/derselbst:/ocaml/openSUSE_13.1/
gpgcheck=1
gpgkey=http://download.opensuse.org/repositories/home:/derselbst:/ocaml/openSUSE_13.1//repodata/repomd.xml.key
enabled=1