Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-25 10:03:03 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
86569 commits 321 branches 1146 tags 290 MiB
Commit graph

4 commits

Author SHA1 Message Date
B. Watson
f34f3ac21b
academic/z3: Updated for version 4.8.12. 
Signed-off-by: B. Watson <yalhcru@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2022-03-26 01:20:12 +07:00
Andrew Clemons
079a23719e
academic/z3: Fix github tarball handling. 
Signed-off-by: Andrew Clemons <andrew.clemons@gmail.com>

Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
 2022-03-01 19:35:44 +07: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