Index of /pub/01_repos/slackbuilds/academic/z3/

../
README                                             19-Jun-2023 20:03                 403
slack-desc                                         19-Jun-2023 20:03                1009
z3.SlackBuild                                      19-Jun-2023 20:03                3733
z3.info                                            19-Jun-2023 20:03                 300