Filelist of package spass in sid of architecture sparc

/usr/bin/FLOTTER
/usr/bin/SPASS
/usr/bin/dfg2ascii
/usr/bin/dfg2dfg
/usr/bin/dfg2otter
/usr/bin/dfg2otter.pl
/usr/bin/dfg2tptp
/usr/bin/pcs
/usr/bin/pgen
/usr/share/doc/spass/README
/usr/share/doc/spass/VERSIONHISTORY.gz
/usr/share/doc/spass/changelog.Debian.gz
/usr/share/doc/spass/copyright
/usr/share/doc/spass/examples/problem54.dfg
/usr/share/doc/spass/examples/verify.cnf
/usr/share/doc/spass/handbook-dfg2dfg.pdf.gz
/usr/share/doc/spass/handbook-spass.pdf.gz
/usr/share/doc/spass/spass-input-syntax.pdf.gz
/usr/share/doc/spass/tutorial.pdf.gz
/usr/share/man/man1/FLOTTER.1.gz
/usr/share/man/man1/SPASS.1.gz
/usr/share/man/man1/dfg2ascii.1.gz
/usr/share/man/man1/dfg2dfg.1.gz
/usr/share/man/man1/dfg2otter.1.gz
/usr/share/man/man1/dfg2otter.pl.1.gz
/usr/share/man/man1/dfg2tptp.1.gz
/usr/share/man/man1/pcs.1.gz
/usr/share/man/man1/pgen.1.gz