slackbuilds - Mirror of slackbuilds.org

	Commit message (Collapse)	Author	Age	Files	Lines
*	academic/z3: Updated for version 4.11.2.	Nick Smallbone	2022-10-08	2	-12/+9
\| \| \| \| \| \|	Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
*	academic/z3: Updated for version 4.8.12.	B. Watson	2022-03-26	3	-25/+20
\| \| \| \| \| \|	Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
*	academic/z3: Fix github tarball handling.	Andrew Clemons	2022-03-01	2	-2/+2
\| \| \| \| \| \|	Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
*	All: Support $PRINT_PACKAGE_NAME env var	Heinz Wiesinger	2021-07-17	1	-1/+10
\| \| \| \|	Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
*	All: SlackBuilds run in the directory they are in	Heinz Wiesinger	2021-07-05	1	-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 Wiesinger	2021-07-04	1	-1/+1
\| \| \| \|	Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
*	academic/z3: Updated for version 4.8.7.	Nick Smallbone	2020-01-12	3	-6/+6
\| \| \| \|	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
*	academic/z3: Added (theorem solver).	Nick Smallbone	2019-03-23	4	-0/+157
	Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>