Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-12-04 00:56:07 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
78899 commits 323 branches 1148 tags 291 MiB
Commit graph

5 commits

Author SHA1 Message Date
Heinz Wiesinger
63daf9f79a All: Support $PRINT_PACKAGE_NAME env var 
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
 2021-07-17 21:55:09 +02:00
Heinz Wiesinger
7f26b9929f
All: SlackBuilds run in the directory they are in 
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2021-07-05 16:01:32 +07:00
Heinz Wiesinger
fd9245fe0a All: Change SlackBuild shebang to /bin/bash 
Signed-off-by: Heinz Wiesinger <pprkut@slackbuilds.org>
 2021-07-04 12:49:49 +02:00
Nick Smallbone
7871dab6cd academic/z3: Updated for version 4.8.7. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2020-01-12 12:36:18 +07:00
Nick Smallbone
a2e13bb161 academic/z3: Added (theorem solver). 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2019-03-23 07:25:53 +07:00