Index of /pub/pkgsrc/misc/joerg/20180128.1942/verifast-17.06nb6/

../
build.log                                                                                                                29-Jan-2018 14:31    1280
checksum.log                                                                                                             29-Jan-2018 14:30     588
configure.log                                                                                                            29-Jan-2018 14:31    5453
depends.log                                                                                                              29-Jan-2018 14:30     15K
pre-clean.log                                                                                                            29-Jan-2018 14:26      36
work.log                                                                                                                 29-Jan-2018 14:31    2122