usr/local/share/licences/isl/LICENSE
usr/local/lib/libisl.so.15.1.1
usr/local/lib/libisl.so
usr/local/lib/libisl.so.15