The time is now Sunday, May 17th, 2015 10:52:19am /usr/bin/ssh -R 18333:localhost:18333 racket@192.168.56.118 '/usr/bin/env' 'PLTUSERHOME=/home/racket/build-pkgs/user' '/bin/sh' '-c' 'cd "/home/racket/build-pkgs"/racket && bin/raco pkg install -u --auto typed-big-bang' Resolving "typed-big-bang" via http://localhost:18333/built/catalog/ Resolving "typed-big-bang" via http://localhost:18333/archive/catalog/ Downloading http://localhost:18333/archive/pkgs/typed-big-bang.zip Resolving "2htdp-typed" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/2htdp-typed.zip The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of typed-big-bang: 2htdp-typed raco setup: version: 6.1.91.900 [3m] raco setup: installation name: 6.1.91.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.1.91.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.1.91.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.1.91.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.1.91.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: /2htdp-typed/typed raco setup: in /2htdp-typed/typed/lang raco setup: in /2htdp-typed/typed/2htdp raco setup: in /2htdp-typed/typed/scribblings raco setup: making: /2htdp-typed/typed/2htdp raco setup: in /2htdp-typed/typed/2htdp raco setup: making: /2htdp-typed/typed/2htdp/private raco setup: making: /2htdp-typed/typed/lang raco setup: making: /2htdp-typed/typed/scribblings raco setup: making: /typed-big-bang/typed raco setup: in /typed-big-bang/typed raco setup: in /typed-big-bang/typed/try-to-use-2htdp raco setup: in /typed-big-bang/typed/2htdp raco setup: in /typed-big-bang/typed/docs raco setup: making: /typed-big-bang/typed/2htdp raco setup: making: /typed-big-bang/typed/docs raco setup: making: /typed-big-bang/typed/test raco setup: in /typed-big-bang/typed/test raco setup: making: /typed-big-bang/typed/try-to-use-2htdp raco setup: in /typed-big-bang/typed/try-to-use-2htdp raco setup: --- creating launchers --- raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: syncing: /2htdp-typed/typed/doc/2htdp-typed raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl 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: running: /typed-big-bang/typed/docs/typed-big-bang.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: rendering: /typed-big-bang/typed/docs/typed-big-bang.scrbl raco setup: --- installing collections --- raco setup: --- post-installing collections --- The time is now Sunday, May 17th, 2015 10:53:03am