Name Last modified Size Description Parent Directory - slack-desc 2013-11-26 17:57 799 README 2013-11-26 17:57 615 gecode.SlackBuild 2015-04-05 09:43 3.5K gecode.info 2015-04-05 09:43 285