Name Last modified Size Description Parent Directory - slack-desc 2013-11-26 03:57 799 gecode.info 2015-04-04 20:43 285 gecode.SlackBuild 2015-04-04 20:43 3.5K README 2013-11-26 03:57 615