The time is now Tuesday, February 2nd, 2016 7:08:41am /usr/bin/ssh -R 18333:localhost:18333 racket@192.168.56.107 '/usr/bin/env' 'DISPLAY=:1' 'PLT_PKG_BUILD_SERVICE=1' 'PLTUSERHOME=/home/racket/build-pkgs/user' '/bin/sh' '-c' 'cd "/home/racket/build-pkgs"/racket && bin/raco pkg install -u --auto RacketUI' Resolving "RacketUI" via http://localhost:18333/built/catalog/ Resolving "RacketUI" via http://localhost:18333/archive/catalog/ Downloading http://localhost:18333/archive/pkgs/RacketUI.zip raco setup: version: 6.3.90.900 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: installation name: 6.3.90.900 raco setup: variants: 3m raco setup: main collects: /home/racket/build-pkgs/racket/collects raco setup: collects paths: raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/collects raco setup: /home/racket/build-pkgs/racket/collects raco setup: main pkgs: /home/racket/build-pkgs/racket/share/pkgs raco setup: pkgs paths: raco setup: /home/racket/build-pkgs/racket/share/pkgs raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs raco setup: links files: raco setup: /home/racket/build-pkgs/racket/share/links.rktd raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/links.rktd raco setup: main docs: /home/racket/build-pkgs/racket/doc raco setup: --- updating info-domain tables --- raco setup: updating: /home/racket/build-pkgs/user/.racket/6.3.90.900/share/info-cache.rktd raco setup: --- pre-installing collections --- raco setup: --- installing foreign libraries --- raco setup: --- installing shared files --- raco setup: --- compiling collections --- raco setup: making: /RacketUI (RacketUI) raco setup: in /RacketUI raco setup: in /RacketUI/scribblings raco setup: making: /RacketUI/htdocs raco setup: making: /RacketUI/htdocs/css raco setup: making: /RacketUI/htdocs/css/smoothness raco setup: making: /RacketUI/htdocs/css/smoothness/images raco setup: making: /RacketUI/htdocs/js raco setup: making: /RacketUI/scribblings raco setup: making: /RacketUI/scribblings/screenshots raco setup: --- creating launchers --- raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: running: /RacketUI/scribblings/racketui.scrbl require: PLaneT could not download the package "nah22/racketui": tcp-connect: connection failed detail: host not found address: planet.racket-lang.org port number: 80 step: 1 system error: Name or service not known; errno=-2 context...: /home/racket/build-pkgs/racket/collects/planet/private/resolver.rkt:339:0: planet-resolve .../more-scheme.rkt:261:28 /home/racket/build-pkgs/racket/share/pkgs/scribble-lib/scribble/private/manual-mod.rkt:314:0: *declare-exporting /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/RacketUI/scribblings/racketui.scrbl: [running body] loop loop loop loop loop loop loop loop loop /home/racket/build-pkgs/racket/share/pkgs/racket-index/setup/scribble.rkt:138:0: setup-scribblings /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:70:0: setup-core /home/racket/build-pkgs/racket/collects/setup/setup.rkt:65:3 ... raco setup: running: /racket-index/scribblings/main/user/release.scrbl raco setup: running: /racket-index/scribblings/main/user/search.scrbl raco setup: running: /racket-index/scribblings/main/user/start.scrbl raco setup: rendering: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: rendering: /racket-index/scribblings/main/user/release.scrbl raco setup: rendering: /racket-index/scribblings/main/user/search.scrbl raco setup: rendering: /racket-index/scribblings/main/user/start.scrbl raco setup: --- installing collections --- raco setup: --- post-installing collections --- raco setup: --- summary of errors --- raco setup: error: during building docs for /RacketUI/scribblings/racketui.scrbl raco setup: require: PLaneT could not download the package "nah22/racketui": tcp-connect: connection failed raco setup: detail: host not found raco setup: address: planet.racket-lang.org raco setup: port number: 80 raco setup: step: 1 raco setup: system error: Name or service not known; errno=-2 raco pkg install: packages installed, although setup reported errors The time is now Tuesday, February 2nd, 2016 7:09:03am