Index of /pub/pkgsrc/misc/joerg/20170715.2145/verifast-17.06/

../
build.log                                                                                                                16-Jul-2017 05:25    2124
checksum.log                                                                                                             16-Jul-2017 05:24     588
configure.log                                                                                                            16-Jul-2017 05:25    4544
depends.log                                                                                                              16-Jul-2017 05:24     15K
pre-clean.log                                                                                                            16-Jul-2017 05:22      33
work.log                                                                                                                 16-Jul-2017 05:25     10K