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