../ README 05-Oct-2024 04:58 734 kissat.SlackBuild 05-Oct-2024 04:58 3272 kissat.info 05-Oct-2024 04:58 354 slack-desc 05-Oct-2024 04:58 1210