Index of /pub/pkgsrc/misc/joerg/20180515.1153/verifast-18.02nb4/

../
build.log                                          17-May-2018 12:30      2M
checksum.log                                       16-May-2018 07:54     588
configure.log                                      16-May-2018 07:55    3651
depends.log                                        16-May-2018 07:54     32K
pre-clean.log                                      16-May-2018 07:52      36
work.log                                           16-May-2018 07:56     40K