Index of /slackbuilds.org/15.0/academic/yices2

	Name	Last modified	Size	Description
	Parent Directory		-
	yices2.info	2022-11-05 07:20	298
	README	2022-11-05 07:20	653
	slack-desc	2022-11-05 07:20	872
	yices2.SlackBuild	2022-11-05 07:20	3.6K

Current bandwidth utilization 80.54 Mbit/s