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