Name Last modified Size Description Parent Directory - slack-desc 2012-12-29 22:15 799 gecode.info 2012-12-29 22:15 271 gecode.SlackBuild 2012-12-29 22:15 3.5K README 2012-12-29 22:15 615