/. /usr /usr/lib /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/libisl.so.15.3.0 /usr/share /usr/share/doc /usr/share/doc/libisl15 /usr/share/doc/libisl15/changelog.Debian.gz /usr/share/doc/libisl15/changelog.gz /usr/share/doc/libisl15/copyright /usr/lib/x86_64-linux-gnu/libisl.so.15