Manpages of spass in Debian stretch

• FLOTTER(1)
• SPASS(1)
• dfg2ascii(1)
• dfg2dfg(1)
• dfg2otter(1)
• dfg2otter(1) (polski)
• dfg2otter.pl(1)
• dfg2tptp(1)
• tptp2dfg(1)