Index of /pub/slackbuilds.org/slackbuilds/14.2/development/gecode/

../
README                                             26-Nov-2013 09:57                 615
gecode.SlackBuild                                  02-Jul-2016 00:48                3588
gecode.info                                        10-Nov-2018 00:54                 294
slack-desc                                         10-Nov-2018 00:54                 828