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

Name	Size	Date
📁 ../	-	-
📄 checksum.log	546 bytes	2020-04-10 20:31:51
📄 configure.log	8663 bytes	2020-04-10 20:31:58
📄 depends.log	239 bytes	2020-04-10 20:31:48
📄 pre-clean.log	32 bytes	2020-04-10 20:31:29
📄 work.log	1260 bytes	2020-04-10 20:31:57