../ README 07-Jun-2022 01:14 615 gecode-4.4.0.tar.gz 07-Jun-2022 15:24 2888696 gecode.SlackBuild 11-Mar-2022 05:34 3925 gecode.info 07-Jun-2022 01:14 294 slack-desc 07-Jun-2022 01:14 828