55aba08e2755acd1ae0f6c6649254dee gecode-4.4.0-x86_64-1_slack.txz