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