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

Name	Last modified	Size
Parent Directory	28-Apr-2018 16:02	13kB
checksum.log	28-Apr-2018 11:15	1kB
configure.log	28-Apr-2018 11:15	5kB
depends.log	28-Apr-2018 11:15	2kB
pre-clean.log	28-Apr-2018 11:15	1kB
work.log	28-Apr-2018 11:15	2kB