summaryrefslogtreecommitdiffstats
path: root/academic/z3
AgeCommit message (Collapse)Author
2022-10-08academic/z3: Updated for version 4.11.2. Nick Smallbone
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2022-03-25academic/z3: Updated for version 4.8.12. B. Watson
Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2022-03-01academic/z3: Fix github tarball handling. Andrew Clemons
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2021-07-17All: Support $PRINT_PACKAGE_NAME env var Heinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2021-07-05All: 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-04All: Change SlackBuild shebang to /bin/bash Heinz Wiesinger
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
2020-01-12academic/z3: Updated for version 4.8.7. Nick Smallbone
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2019-03-23academic/z3: Added (theorem solver). Nick Smallbone
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
generated by cgit v1.2.3 (git 2.32.0) at 2024-05-13 12:29:03 +0200