Index of /pub/pkgsrc/misc/joerg/20180705.1005/py37-z3-4.5.0/

Name	Size	Date
📁 ../	-	-
📄 checksum.log	546 bytes	2018-07-06 19:45:58
📄 configure.log	5115 bytes	2018-07-06 19:46:03
📄 depends.log	1085 bytes	2018-07-06 19:45:57
📄 pre-clean.log	32 bytes	2018-07-06 19:45:32
📄 work.log	1302 bytes	2018-07-06 19:46:02