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:202:0: http://getpost-impure-port
/home/pkgserver/racket/collects/net/url.rkt:305: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/pkg-index/official/update.rkt:31:2
/home/pkgserver/racket/collects/racket/private/list.rkt:263:2: filter
/home/pkgserver/pkg-index/official/update.rkt:174:0: do-update!
/home/pkgserver/pkg-index/official/common.rkt:148:0: run!
/home/pkgserver/pkg-index/official/update.rkt:185:0: run-update!