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