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