usr/local/share/licences/isl/LICENSE
usr/local/lib/libisl.so.10.1.2
usr/local/lib/libisl.so.10.1.2-gdb.py
usr/local/lib/libisl.so
usr/local/lib/libisl.so.10