spass - mipsel
Documentation
./doc/changelog.Debian.gz
./doc/examples/problem54.dfg
./doc/copyright
./doc/spass-input-syntax.pdf.gz
./doc/handbook-spass.pdf.gz
./doc/VERSIONHISTORY.gz
./doc/tutorial.pdf.gz
./doc/README
Binaries
dfg2otter
compile units
includes
libraries
../libs/lib/mipsel-linux-gnu/libm.so.6
../libs/lib/mipsel-linux-gnu/libc.so.6
manual
../man/dfg2otter.1.gz ../man/dfg2otter.pl.1.gz
SPASS
compile units
includes
libraries
../libs/lib/mipsel-linux-gnu/libm.so.6
../libs/lib/mipsel-linux-gnu/libc.so.6
manual
../man/SPASS.1.gz
tptp2dfg
compile units
includes
libraries
../libs/lib/mipsel-linux-gnu/libm.so.6
../libs/lib/mipsel-linux-gnu/libc.so.6
manual
../man/tptp2dfg.1.gz
dfg2ascii
compile units
includes
libraries
../libs/lib/mipsel-linux-gnu/libm.so.6
../libs/lib/mipsel-linux-gnu/libc.so.6
manual
../man/dfg2ascii.1.gz
dfg2dfg
compile units
includes
libraries
../libs/lib/mipsel-linux-gnu/libm.so.6
../libs/lib/mipsel-linux-gnu/libc.so.6
manual
../man/dfg2dfg.1.gz
dfg2tptp
compile units
includes
libraries
../libs/lib/mipsel-linux-gnu/libm.so.6
../libs/lib/mipsel-linux-gnu/libc.so.6
manual
../man/dfg2tptp.1.gz