pkgs.loginroot.com
Home
Packages
Binaries
Package: spass
"
spass
" package binaries on
Debian
:
/usr/bin/dfg2ascii
/usr/bin/dfg2dfg
/usr/bin/dfg2otter
/usr/bin/dfg2otter.pl
/usr/bin/dfg2tptp
/usr/bin/FLOTTER
/usr/bin/SPASS
/usr/bin/tptp2dfg
You may install this package on Debian with
apt-get install spass