Manpages of src:spass in Debian jessie

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