Index of /LNF/linux/ubuntu/last/LNFspass/reloc/bin

Icon  Name                                   Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] SPASS 2018-05-10 12:50 635K [   ] dfg2ascii 2018-05-10 12:50 2.8M [   ] dfg2dfg 2018-05-10 12:50 2.9M [   ] dfg2dimacs 2018-05-10 12:50 2.8M [   ] dfg2otter 2018-05-10 12:50 2.8M [   ] dfg2otter.pl 2018-05-10 12:50 7.2K [   ] dfg2tptp 2018-05-10 12:50 2.8M [   ] dimacs2dfg 2018-05-10 12:50 4.5M [   ] pgen 2018-05-10 12:50 4.6M [   ] prolog2dfg 2018-05-10 12:50 2.9M [   ] rescmp 2018-05-10 12:50 2.9M [   ] tptp2dfg 2018-05-10 12:50 2.9M
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80