Filename: /var///lib//dpkg/info/libisl23:amd64.list

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

./Ninja\.