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