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