Index of /pkgsrc/misc/joerg/20180302.1436/z3-4.4.1nb5/?C=N&O=D
Name Last modified Size
Parent Directory -
work.log 2018-03-03 07:07 36K
pre-clean.log 2018-03-03 07:06 30
depends.log 2018-03-03 07:07 906
configure.log 2018-03-03 07:07 13K
checksum.log 2018-03-03 07:07 925
build.log 2018-03-03 07:07 7.5K