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