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

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