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