Index of /LNF/linux/ubuntu/last/LNFspass/reloc/share/man/man1

Icon  Name                                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                                      -   
[   ] dfg2ascii.1                                      2018-05-10 12:50  762   
[   ] dfg2tptp.1                                       2018-05-10 12:50  1.0K  
[   ] dfg2otter.1                                      2018-05-10 12:50  1.1K  
[   ] dfg2otter.pl.1                                   2018-05-10 12:50  1.1K  
[   ] tptp2dfg.1                                       2018-05-10 12:50  1.3K  
[   ] dfg2dfg.1                                        2018-05-10 12:50  2.8K  
[   ] SPASS.1                                          2018-05-10 12:50   23K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80