Index of /sites/ftp.netbsd.org/pub/pkgsrc/misc/joerg/20180515.1153/verifast-18.02nb4/

Icon  Name                                                       Last modified      Size  
[PARENTDIR] Parent Directory                                                                -   
[   ] build.log                                                  2018-05-17 10:30  2.3M  
[   ] checksum.log                                               2018-05-16 05:54  588   
[   ] configure.log                                              2018-05-16 05:55  3.6K  
[   ] depends.log                                                2018-05-16 05:54   32K  
[   ] pre-clean.log                                              2018-05-16 05:52   36   
[   ] work.log                                                   2018-05-16 05:56   40K