libarmadillo12 armadillo-devel requires -armadillo-<targettype> requires "libarmadillo12-<targettype> = <version>"
The Open Build Service is an openSUSE project.
