Index of /slackbuilds/15.0/academic/z3

	Name	Last modified	Size	Description
	Parent Directory		-
	slack-desc	2022-03-11 05:34	1.0K
	z3.SlackBuild	2025-12-06 08:58	3.6K
	z3.info	2025-12-06 08:58	300