Directory: /pkgsrc/misc/joerg/20180427.1351/py35-z3-4.5.0/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
pre-clean.log	32 B	2018-Apr-28 19:14
checksum.log	546 B	2018-Apr-28 19:15
depends.log	1.1 KiB	2018-Apr-28 19:15
configure.log	5.0 KiB	2018-Apr-28 19:15
work.log	1.3 KiB	2018-Apr-28 19:15