Directory: /pkgsrc/misc/joerg/20180705.1005/py36-z3-4.5.0/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
pre-clean.log	32 B	2018-Jul-07 03:45
checksum.log	546 B	2018-Jul-07 03:45
depends.log	1.1 KiB	2018-Jul-07 03:45
configure.log	5.0 KiB	2018-Jul-07 03:46
work.log	1.3 KiB	2018-Jul-07 03:46