Index of /slackbuilds.org/14.2/academic/cryptominisat

	Name	Last modified	Size	Description
	Parent Directory		-
	cryptominisat.SlackBuild	10-May-2020 10:41	3.1K
	cryptominisat.info	10-May-2020 10:41	333
	slack-desc	16-Sep-2018 03:48	1.2K