Name Last modified Size Description Parent Directory - slack-desc 2022-03-11 13:34 828 README 2013-11-26 17:57 615 gecode.SlackBuild 2022-06-11 10:03 3.8K gecode.info 2022-03-11 13:34 294