slackcoder/slackbuilds.org/slackbuilds

Age	Commit message (Collapse)	Author
2022-10-15	academic/cryptominisat: Updated for version 5.11.3.	Alan Aversa
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-17	All: Support $PRINT_PACKAGE_NAME env var	Heinz Wiesinger
	Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-05	All: SlackBuilds run in the directory they are in	Heinz Wiesinger
	Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-04	All: Change SlackBuild shebang to /bin/bash	Heinz Wiesinger
	Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2020-05-10	academic/cryptominisat: Updated for version 5.7.1.	Alan Aversa
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-03-24	academic/cryptominisat: Updated for version 5.6.8.	Alan Aversa
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2018-12-26	academic/cryptominisat: Fix MD5SUM.	Willy Sudiarto Raharjo
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2018-12-22	academic/cryptominisat: Updated for version 5.6.6.	Alan Aversa
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2018-09-14	academic/cryptominisat: Added (SAT solver).	Alan Aversa
	Signed-off-by: David Spencer <idlemoor@slackbuilds.org>