Index of /pub/01_repos/slackbuilds/development/gecode/

../
README                                             19-Jun-2023 20:03                 615
gecode.SlackBuild                                  19-Jun-2023 20:03                3925
gecode.info                                        19-Jun-2023 20:03                 294
slack-desc                                         19-Jun-2023 20:03                 828