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

../
checksum.log                                                                                                             31-Mar-2020 13:00     546
configure.log                                                                                                            31-Mar-2020 13:00    8663
depends.log                                                                                                              31-Mar-2020 13:00     239
pre-clean.log                                                                                                            31-Mar-2020 12:59      32
work.log                                                                                                                 31-Mar-2020 13:00    1260