Filelist of package slat in sid of architecture ia64

/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