The time is now Wednesday, January 30th, 2019 5:38:18pm /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' 'PLT_PKG_BUILD_SERVICE=1' 'CI=true' 'PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE' '/bin/sh' '-c' 'cd "/home/racket/build-pkgs"/racket && bin/raco pkg install -u --auto HoLy && bin/raco test --drdr --package HoLy' Resolving "HoLy" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/HoLy.zip raco setup: version: 7.2 raco setup: platform: x86_64-linux-natipkg [3m] raco setup: target machine: racket raco setup: installation name: 7.2 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/7.2/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/7.2/pkgs raco setup: links files: raco setup: /home/racket/build-pkgs/racket/share/links.rktd raco setup: /home/racket/build-pkgs/user/.racket/7.2/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/7.2/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: /HoLy raco setup: making: /HoLy/scribblings raco setup: --- creating launchers --- raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: syncing: /HoLy/doc/HoLy 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: 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 test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/HoLy/info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/HoLy/main.rkt" raco test: "/home/racket/build-pkgs/user/.racket/7.2/pkgs/HoLy/scribblings/HoLy.scrbl" 0 /home/racket/build-pkgs/user/.racket/7.2/pkgs/HoLy/info.rkt 0 /home/racket/build-pkgs/user/.racket/7.2/pkgs/HoLy/main.rkt 0 /home/racket/build-pkgs/user/.racket/7.2/pkgs/HoLy/scribblings/HoLy.scrbl The time is now Wednesday, January 30th, 2019 5:38:33pm