/usr/bin/apol2slat /usr/bin/lts2smv /usr/bin/slat /usr/include/slat/action.h /usr/include/slat/formula.h /usr/include/slat/intern.h /usr/include/slat/pprint.h /usr/include/slat/symbol.h /usr/include/slat/xmalloc.h /usr/lib/libpprint.a /usr/lib/libslatform.a /usr/lib/libslatformparser.a /usr/share/doc-base/slat /usr/share/doc/slat/AUTHORS.gz /usr/share/doc/slat/NEWS.gz /usr/share/doc/slat/README.gz /usr/share/doc/slat/changelog.Debian.gz /usr/share/doc/slat/changelog.gz /usr/share/doc/slat/copyright /usr/share/doc/slat/disk.txt.gz /usr/share/doc/slat/slat.html /usr/share/doc/slat/ver18.apm.gz /usr/share/info/slat.info.gz /usr/share/man/man1/apol2slat.1.gz /usr/share/man/man1/lts2smv.1.gz /usr/share/man/man1/slat.1.gz