Index of /pub/pkgsrc/misc/joerg/20200514.0240/py36-z3-4.8.3/

../
checksum.log                                       14-May-2020 09:02     546
configure.log                                      14-May-2020 09:02    8663
depends.log                                        14-May-2020 09:02     239
pre-clean.log                                      14-May-2020 09:01      32
work.log                                           14-May-2020 09:02    1260