The time is now Tuesday, February 2nd, 2016 12:09:29pm /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 lipics && bin/raco test --drdr --package lipics' Resolving "lipics" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/lipics.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: /lipics raco setup: --- creating launchers --- raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: syncing: /lipics/doc/lipics 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/6.3.90.900/pkgs/lipics/download.rkt" raco test: "/home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/example-abstract.scrbl" example-abstract.scrbl: raco test: non-empty stderr: #"tcp-connect: connection failed\n detail: host not found\n address: drops.dagstuhl.de\n port number: 80\n step: 1\n system error: Name or service not known; errno=-2\n context...:\n /home/racket/build-pkgs/racket/collects/net/http-client.rkt:235:0\n /home/racket/build-pkgs/racket/collects/racket/contract/private/arrow-val-first.rkt:335:3\n /home/racket/build-pkgs/racket/collects/net/url.rkt:144:0: http://getpost-impure-port\n /home/racket/build-pkgs/racket/collects/net/url.rkt:214:0: getpost-pure-port\n /home/racket/build-pkgs/racket/collects/net/url.rkt:317:4: call/input-url\n /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/download.rkt:26:0: download-lipics-files\n /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/main.rkt: [running body]\n" raco test: "/home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/example.scrbl" example.scrbl: raco test: non-empty stderr: #"tcp-connect: connection failed\n detail: host not found\n address: drops.dagstuhl.de\n port number: 80\n step: 1\n system error: Name or service not known; errno=-2\n context...:\n /home/racket/build-pkgs/racket/collects/net/http-client.rkt:235:0\n /home/racket/build-pkgs/racket/collects/racket/contract/private/arrow-val-first.rkt:335:3\n /home/racket/build-pkgs/racket/collects/net/url.rkt:144:0: http://getpost-impure-port\n /home/racket/build-pkgs/racket/collects/net/url.rkt:214:0: getpost-pure-port\n /home/racket/build-pkgs/racket/collects/net/url.rkt:317:4: call/input-url\n /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/download.rkt:26:0: download-lipics-files\n /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/main.rkt: [running body]\n" raco test: "/home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/lipics.scrbl" raco test: "/home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/main.rkt" main.rkt: raco test: non-empty stderr: #"tcp-connect: connection failed\n detail: host not found\n address: drops.dagstuhl.de\n port number: 80\n step: 1\n system error: Name or service not known; errno=-2\n context...:\n /home/racket/build-pkgs/racket/collects/net/http-client.rkt:235:0\n /home/racket/build-pkgs/racket/collects/racket/contract/private/arrow-val-first.rkt:335:3\n /home/racket/build-pkgs/racket/collects/net/url.rkt:144:0: http://getpost-impure-port\n /home/racket/build-pkgs/racket/collects/net/url.rkt:214:0: getpost-pure-port\n /home/racket/build-pkgs/racket/collects/net/url.rkt:317:4: call/input-url\n /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/download.rkt:26:0: download-lipics-files\n /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/main.rkt: [running body]\n" 3/3 test failures 0 /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/download.rkt 0 /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/info.rkt 0 /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/lipics.scrbl 1 1 /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/example-abstract.scrbl 1 1 /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/example.scrbl 1 1 /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/lipics/main.rkt The time is now Tuesday, February 2nd, 2016 12:09:42pm