Index of /pub/pkgsrc/misc/joerg/20180427.1351/py35-z3-4.5.0/

../
checksum.log                                       28-Apr-2018 11:15     546
configure.log                                      28-Apr-2018 11:15    5085
depends.log                                        28-Apr-2018 11:15    1085
pre-clean.log                                      28-Apr-2018 11:14      32
work.log                                           28-Apr-2018 11:15    1302