Name Last modified Size Description Parent Directory - slack-desc 2022-03-10 23:34 828 gecode.info 2022-03-10 23:34 294 gecode.SlackBuild 2022-06-10 21:03 3.8K README 2013-11-26 03:57 615