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

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