Name Last modified Size DescriptionApache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80
Parent Directory - SPASS.1 2018-05-10 09:03 23K dfg2ascii.1 2018-05-10 09:03 762 dfg2dfg.1 2018-05-10 09:03 2.8K dfg2otter.1 2018-05-10 09:03 1.1K dfg2otter.pl.1 2018-05-10 09:03 1.1K dfg2tptp.1 2018-05-10 09:03 1.0K tptp2dfg.1 2018-05-10 09:03 1.3K