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

../
checksum.log                                                                                                             26-Mar-2018 06:41    1344
configure.log                                                                                                            26-Mar-2018 06:41    5085
depends.log                                                                                                              26-Mar-2018 06:41    1082
pre-clean.log                                                                                                            26-Mar-2018 06:40      32
work.log                                                                                                                 26-Mar-2018 06:41    1302