sthen 3318ced016 replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes		2019-07-12 20:46:54 +00:00
..
patches	Update z3 to 4.8.4	2019-03-03 09:16:17 +00:00
pkg	Update z3 to 4.8.4	2019-03-03 09:16:17 +00:00
distinfo	update z3 to 4.8.5, ok kn@.	2019-06-05 05:44:54 +00:00
Makefile	replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes	2019-07-12 20:46:54 +00:00