/.
/usr
/usr/lib
/usr/lib/x86_64-linux-gnu
/usr/lib/x86_64-linux-gnu/libisl.so.23.1.0
/usr/share
/usr/share/doc
/usr/share/doc/libisl23
/usr/share/doc/libisl23/changelog.Debian.gz
/usr/share/doc/libisl23/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.23.1.0-gdb.py
/usr/lib/x86_64-linux-gnu/libisl.so.23
