The time is now Monday, May 18th, 2015 12:10:22pm /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 mred-designer' Resolving "mred-designer" via http://localhost:18333/built/catalog/ Resolving "mred-designer" via http://localhost:18333/archive/catalog/ Downloading http://localhost:18333/archive/pkgs/mred-designer.zip raco setup: version: 6.2.900.3 [3m] raco setup: installation name: scope-snapshot 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/scope-snapshot/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/scope-snapshot/pkgs raco setup: links files: raco setup: /home/racket/build-pkgs/racket/share/links.rktd raco setup: /home/racket/build-pkgs/user/.racket/scope-snapshot/links.rktd raco setup: main docs: /home/racket/build-pkgs/racket/doc raco setup: --- updating info-domain tables --- raco setup: --- pre-installing collections --- raco setup: --- installing foreign libraries --- raco setup: --- installing shared files --- raco setup: --- compiling collections --- raco setup: making: /mred-designer/mred-designer raco setup: in /mred-designer/mred-designer raco setup: in /mred-designer/mred-designer/widgets/project raco setup: making: /mred-designer/mred-designer/images raco setup: making: /mred-designer/mred-designer/images/screenshots raco setup: making: /mred-designer/mred-designer/templates raco setup: making: /mred-designer/mred-designer/tests raco setup: in /mred-designer/mred-designer/tests raco setup: making: /mred-designer/mred-designer/widgets raco setup: making: /mred-designer/mred-designer/widgets/button raco setup: in /mred-designer/mred-designer/widgets/button raco setup: making: /mred-designer/mred-designer/widgets/button/icons raco setup: making: /mred-designer/mred-designer/widgets/canvas raco setup: in /mred-designer/mred-designer/widgets/canvas raco setup: making: /mred-designer/mred-designer/widgets/canvas/icons raco setup: making: /mred-designer/mred-designer/widgets/check-box raco setup: in /mred-designer/mred-designer/widgets/check-box raco setup: making: /mred-designer/mred-designer/widgets/check-box/icons raco setup: making: /mred-designer/mred-designer/widgets/choice raco setup: in /mred-designer/mred-designer/widgets/choice raco setup: making: /mred-designer/mred-designer/widgets/choice/icons raco setup: making: /mred-designer/mred-designer/widgets/combo-field raco setup: in /mred-designer/mred-designer/widgets/combo-field raco setup: making: /mred-designer/mred-designer/widgets/combo-field/icons raco setup: making: /mred-designer/mred-designer/widgets/dialog raco setup: in /mred-designer/mred-designer/widgets/dialog raco setup: in /mred-designer/mred-designer/widgets/frame raco setup: making: /mred-designer/mred-designer/widgets/dialog/icons raco setup: making: /mred-designer/mred-designer/widgets/editor-canvas raco setup: in /mred-designer/mred-designer/widgets/editor-canvas raco setup: making: /mred-designer/mred-designer/widgets/editor-canvas/icons raco setup: making: /mred-designer/mred-designer/widgets/frame raco setup: in /mred-designer/mred-designer/widgets/frame raco setup: making: /mred-designer/mred-designer/widgets/frame/icons raco setup: making: /mred-designer/mred-designer/widgets/gauge raco setup: in /mred-designer/mred-designer/widgets/gauge raco setup: making: /mred-designer/mred-designer/widgets/gauge/icons raco setup: making: /mred-designer/mred-designer/widgets/group-box-panel raco setup: in /mred-designer/mred-designer/widgets/group-box-panel raco setup: making: /mred-designer/mred-designer/widgets/group-box-panel/icons raco setup: making: /mred-designer/mred-designer/widgets/grow-box-spacer-pane raco setup: in /mred-designer/mred-designer/widgets/grow-box-spacer-pane raco setup: making: /mred-designer/mred-designer/widgets/grow-box-spacer-pane/icons raco setup: making: /mred-designer/mred-designer/widgets/horizontal-pane raco setup: in /mred-designer/mred-designer/widgets/horizontal-pane raco setup: making: /mred-designer/mred-designer/widgets/horizontal-pane/icons raco setup: making: /mred-designer/mred-designer/widgets/horizontal-panel raco setup: in /mred-designer/mred-designer/widgets/horizontal-panel raco setup: making: /mred-designer/mred-designer/widgets/horizontal-panel/icons raco setup: making: /mred-designer/mred-designer/widgets/list-box raco setup: in /mred-designer/mred-designer/widgets/list-box raco setup: making: /mred-designer/mred-designer/widgets/list-box/icons raco setup: making: /mred-designer/mred-designer/widgets/menu raco setup: in /mred-designer/mred-designer/widgets/menu raco setup: making: /mred-designer/mred-designer/widgets/menu-bar raco setup: in /mred-designer/mred-designer/widgets/menu-bar raco setup: making: /mred-designer/mred-designer/widgets/menu-bar/icons raco setup: making: /mred-designer/mred-designer/widgets/menu-item raco setup: in /mred-designer/mred-designer/widgets/menu-item raco setup: making: /mred-designer/mred-designer/widgets/menu-item/icons raco setup: making: /mred-designer/mred-designer/widgets/menu/icons raco setup: making: /mred-designer/mred-designer/widgets/message raco setup: in /mred-designer/mred-designer/widgets/message raco setup: making: /mred-designer/mred-designer/widgets/message/icons raco setup: making: /mred-designer/mred-designer/widgets/pane raco setup: in /mred-designer/mred-designer/widgets/pane raco setup: making: /mred-designer/mred-designer/widgets/pane/icons raco setup: making: /mred-designer/mred-designer/widgets/panel raco setup: in /mred-designer/mred-designer/widgets/panel raco setup: making: /mred-designer/mred-designer/widgets/panel/icons raco setup: making: /mred-designer/mred-designer/widgets/project raco setup: in /mred-designer/mred-designer/widgets/project raco setup: making: /mred-designer/mred-designer/widgets/project/icons raco setup: making: /mred-designer/mred-designer/widgets/radio-box raco setup: in /mred-designer/mred-designer/widgets/radio-box raco setup: making: /mred-designer/mred-designer/widgets/radio-box/icons raco setup: making: /mred-designer/mred-designer/widgets/separator-menu-item raco setup: in /mred-designer/mred-designer/widgets/separator-menu-item raco setup: making: /mred-designer/mred-designer/widgets/separator-menu-item/icons raco setup: making: /mred-designer/mred-designer/widgets/slider raco setup: in /mred-designer/mred-designer/widgets/slider raco setup: making: /mred-designer/mred-designer/widgets/slider/icons raco setup: making: /mred-designer/mred-designer/widgets/tab raco setup: in /mred-designer/mred-designer/widgets/tab raco setup: making: /mred-designer/mred-designer/widgets/tab-panel raco setup: in /mred-designer/mred-designer/widgets/tab-panel raco setup: making: /mred-designer/mred-designer/widgets/tab-panel/icons raco setup: making: /mred-designer/mred-designer/widgets/tab/icons raco setup: making: /mred-designer/mred-designer/widgets/text-field raco setup: in /mred-designer/mred-designer/widgets/text-field raco setup: making: /mred-designer/mred-designer/widgets/text-field/icons raco setup: making: /mred-designer/mred-designer/widgets/vertical-pane raco setup: in /mred-designer/mred-designer/widgets/vertical-pane raco setup: making: /mred-designer/mred-designer/widgets/vertical-pane/icons raco setup: making: /mred-designer/mred-designer/widgets/vertical-panel raco setup: in /mred-designer/mred-designer/widgets/vertical-panel raco setup: making: /mred-designer/mred-designer/widgets/vertical-panel/icons raco setup: --- creating launchers --- raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: --- installing collections --- raco setup: --- post-installing collections --- The time is now Monday, May 18th, 2015 12:11:34pm