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

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