Index of /pkgsrc/misc/joerg/20180302.1436/verifast-17.06nb7/

Icon  Name                              Last modified      Size  
[PARENTDIR] Parent Directory                                       -   
[   ] build.log                         2018-03-03 20:57  1.2K  
[   ] checksum.log                      2018-03-03 20:56  588   
[   ] configure.log                     2018-03-03 20:57  5.3K  
[   ] depends.log                       2018-03-03 20:56   15K  
[   ] pre-clean.log                     2018-03-03 20:54   36   
[   ] work.log                          2018-03-03 20:57  2.1K