Index of /pub/pkgsrc/misc/joerg/20170731.1938/mercury-14.01.1nb7/

../
build.log                                          02-Aug-2017 00:41     67M
checksum.log                                       01-Aug-2017 23:37     713
configure.log                                      01-Aug-2017 23:37     21K
depends.log                                        01-Aug-2017 23:37     15K
install.log                                        02-Aug-2017 00:41    665K
pre-clean.log                                      01-Aug-2017 23:36      37
work.log                                           02-Aug-2017 00:41      5M