Index of /pub/pkgsrc/misc/joerg/20170930.1902/verifast-17.06nb3/

../
build.log                                                                                                                01-Oct-2017 18:38      2M
checksum.log                                                                                                             01-Oct-2017 07:38     588
configure.log                                                                                                            01-Oct-2017 07:38    5394
depends.log                                                                                                              01-Oct-2017 07:38     15K
pre-clean.log                                                                                                            01-Oct-2017 07:36      36
work.log                                                                                                                 01-Oct-2017 07:39     33K