Index of /pub/pkgsrc/misc/joerg/20180705.1005/mercury-14.01.1nb8/


../
build.log                                                                                                                06-Jul-2018 20:49     67M
checksum.log                                                                                                             06-Jul-2018 19:45     713
configure.log                                                                                                            06-Jul-2018 19:45     21K
depends.log                                                                                                              06-Jul-2018 19:45     15K
install.log                                                                                                              06-Jul-2018 20:49    665K
pre-clean.log                                                                                                            06-Jul-2018 19:44      37
work.log                                                                                                                 06-Jul-2018 20:49      5M