branch from SP4 Backports
Needed for Coq. Newer version would need a newer ocaml-rpm-macros.
The Open Build Service is an openSUSE project.