summaryrefslogtreecommitdiffstats
path: root/academic/cryptominisat (follow)
Commit message (Collapse)AuthorAgeFilesLines
* academic/cryptominisat: Updated for version 5.11.3. Alan Aversa2022-10-152-5/+5
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* All: Support $PRINT_PACKAGE_NAME env var Heinz Wiesinger2021-07-171-1/+10
| | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
* All: SlackBuilds run in the directory they are in Heinz Wiesinger2021-07-051-1/+2
| | | | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* All: Change SlackBuild shebang to /bin/bash Heinz Wiesinger2021-07-041-1/+1
| | | | Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
* academic/cryptominisat: Updated for version 5.7.1. Alan Aversa2020-05-102-4/+4
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* academic/cryptominisat: Updated for version 5.6.8. Alan Aversa2019-03-242-5/+5
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* academic/cryptominisat: Fix MD5SUM. Willy Sudiarto Raharjo2018-12-261-1/+1
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* academic/cryptominisat: Updated for version 5.6.6. Alan Aversa2018-12-222-4/+4
| | | | Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
* academic/cryptominisat: Added (SAT solver). Alan Aversa2018-09-144-0/+143
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>