Package git-smart-proxy-core was not found.
Please retry in a few minutes and if the problem persists, file an issue on GitHub.