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

