Name Last modified Size Description Parent Directory - slack-desc 2018-11-10 08:54 828 gecode.info 2018-11-10 08:54 294 gecode.SlackBuild 2015-04-05 09:43 3.5K README 2013-11-26 17:57 615