Index of /pub/slackbuilds.org/15.0/academic/z3

Icon  Name                                Last modified      Size  Description
[PARENTDIR] Parent Directory                                         -   
[   ] slack-desc                          2022-03-10 23:34  1.0K  
[   ] README                              2022-03-25 21:02  403   
[   ] z3.SlackBuild                       2022-10-07 21:17  3.6K  
[   ] z3.info                             2022-10-07 21:17  300