Index of /slackbuilds/14.2/academic/z3

      Name                        Last modified      Size  Description
      Parent Directory                                 -   
      README                      2019-03-22 22:05  561   
      slack-desc                  2020-01-11 19:55  1.0K  
      z3.SlackBuild               2020-01-11 19:55  3.4K  
      z3.info                     2020-01-11 19:55  285