https://proxy.golang.org/github.1485827954.workers.dev/uchainorg/coqchain/@v/v0.0.0-20230309022357-ec1c1b25895e.zip: HTTP error: 404 Not Found