binaries-prefix-edos
coinstall-binary-name
# librpm-4.12
skip-ocamldoc
