Index of /slackbuilds/14.2/academic/cryptominisat

	Name	Last modified	Size	Description
	Parent Directory		-
	cryptominisat.SlackB..>	2020-05-10 01:41	3.1K
	slack-desc	2018-09-15 18:48	1.2K
	cryptominisat.info	2020-05-10 01:41	333