Index of /pub/pkgsrc/misc/joerg/20170313.0926/mercury-14.01.1nb7/?C=M&O=D
Name Last modified Size
Parent Directory -
package.log 2017-03-15 13:01 545
deinstall.log 2017-03-15 13:01 465
work.log 2017-03-15 12:50 9.0M
install.log 2017-03-15 12:50 2.9K
build.log 2017-03-15 12:50 4.1M
configure.log 2017-03-15 11:39 21K
checksum.log 2017-03-15 11:38 1.0K
depends.log 2017-03-15 11:38 11K
pre-clean.log 2017-03-15 11:38 37

