Index of /pub/pkgsrc/misc/joerg/20180922.1237/gri-2.12.23nb18/?C=S&O=D
Name Last modified Size
Parent Directory -
work.log 2018-09-23 06:42 181K
build.log 2018-09-23 06:42 150K
depends.log 2018-09-23 06:42 18K
install.log 2018-09-23 06:42 17K
configure.log 2018-09-23 06:42 11K
checksum.log 2018-09-23 06:42 567
pre-clean.log 2018-09-23 06:41 34

