../ README 04-Jun-2022 06:47 403 slack-desc 04-Jun-2022 06:47 1009 z3-z3-4.8.12.tar.gz 04-Jun-2022 15:02 5M z3.SlackBuild 26-Mar-2022 02:02 3823 z3.info 04-Jun-2022 06:47 300