/. /usr /usr/lib /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/libisl.so.22.0.1 /usr/share /usr/share/doc /usr/share/doc/libisl22 /usr/share/doc/libisl22/changelog.Debian.gz /usr/share/doc/libisl22/copyright /usr/share/gdb /usr/share/gdb/auto-load /usr/share/gdb/auto-load/usr /usr/share/gdb/auto-load/usr/lib /usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu /usr/share/gdb/auto-load/usr/lib/x86_64-linux-gnu/libisl.so.22.0.1-gdb.py /usr/lib/x86_64-linux-gnu/libisl.so.22