Checksum error An error occurred while updating the package checksum.
tcp-connect: host not found
hostname: code_man.cybnet.ch
port number: 80
system error: Name or service not known; gai_err=-2
context...:
/home/pkgserver/racket/collects/net/http-client.rkt:67:0: http-conn-open!
/home/pkgserver/racket/collects/net/http-client.rkt:274:0: http-conn-open
/home/pkgserver/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
/home/pkgserver/racket/collects/net/url.rkt:201:0: http://getpost-impure-port
/home/pkgserver/racket/collects/net/url.rkt:304:0: get-pure-port/headers
/home/pkgserver/racket/collects/racket/contract/private/arrow-val-first.rkt:555:3
/home/pkgserver/racket/collects/pkg/private/network.rkt:59:3
/home/pkgserver/racket/collects/pkg/private/stage.rkt:774:0: package-url->checksum
/home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:40:2
/home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:23:0: update-checksums
/home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:192:0: do-update!
/home/pkgserver/racket-pkg-website/src/pkg-index/common.rkt:155:0: run!
/home/pkgserver/racket-pkg-website/src/pkg-index/update.rkt:207:0: run-update!