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