name : libisl23:amd64.list /. /usr /usr/lib /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu/libisl.so.23.3.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.3.0-gdb.py /usr/lib/x86_64-linux-gnu/libisl.so.23