The time is now Tuesday, October 6th, 2015 8:22:15pm
/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 cur'
Resolving "cur" via http://localhost:18333/built/catalog/
Resolving "cur" via http://localhost:18333/archive/catalog/
Downloading http://localhost:18333/archive/pkgs/cur.zip
raco setup: version: 6.2.900.17
raco setup: platform: x86_64-linux-natipkg [3m]
raco setup: installation name: 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/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/snapshot/pkgs
raco setup: links files: 
raco setup:   /home/racket/build-pkgs/racket/share/links.rktd
raco setup:   /home/racket/build-pkgs/user/.racket/snapshot/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/snapshot/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: <pkgs>/cur
raco setup:  in <pkgs>/cur
raco setup:  in <pkgs>/cur/curnel
raco setup:  in <pkgs>/cur/stdlib
raco setup:  in <pkgs>/cur/scribblings
raco setup:  in <pkgs>/cur/scribblings/stdlib
raco setup: making: <pkgs>/cur/curnel
raco setup: making: <pkgs>/cur/examples
raco setup:  in <pkgs>/cur/examples
raco setup:  in <pkgs>/cur/stdlib
raco setup: making: <pkgs>/cur/lang
raco setup:  in <pkgs>/cur/lang
raco setup: making: <pkgs>/cur/scribblings
raco setup: making: <pkgs>/cur/scribblings/stdlib
raco setup: making: <pkgs>/cur/stdlib
raco setup:  in <pkgs>/cur/stdlib
raco setup: making: <pkgs>/cur/stdlib/tactics
raco setup:  in <pkgs>/cur/stdlib/tactics
raco setup: --- creating launchers ---
raco setup: --- installing man pages ---
raco setup: --- building documentation ---
raco setup: running: <pkgs>/cur/scribblings/cur.scrbl
WARNING: collected information for key multiple times: '(dep ((lib "cur/main.rkt") Type)); values: #t #t
WARNING: collected information for key multiple times: '(form ((lib "cur/main.rkt") Type)); values: (vector #f '(form ((lib "cur/main.rkt") Type)) #f (list (mobile-root #<path:/home/racket/build-pkgs/user/.racket/snapshot/pkgs/cur/doc/cur>) #"Curnel_Forms.html") #f) (vector #f '(form ((lib "cur/main.rkt") Type)) #f (list (mobile-root #<path:/home/racket/build-pkgs/user/.racket/snapshot/pkgs/cur/doc/cur>) #"Curnel_Forms.html") #f)
WARNING: collected information for key multiple times: '(index-entry (form ((lib "cur/main.rkt") Type))); values: (list '("Type") (list (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) "Type" ...)) (delayed-index-desc #<procedure:.../manual-bind.rkt:93:3>)) (list '("Type") (list (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) "Type" ...)) (delayed-index-desc #<procedure:.../manual-bind.rkt:93:3>))
raco setup: running: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: running: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: WARNING: undefined tag in <pkgs>/cur/scribblings/cur.scrbl:
raco setup:  (tech "proof state")
raco setup:  (mod-path "cur/examples/stlc")
raco setup:  (tech "goal")
raco setup:  (mod-path "cur/curnel/redex-lang")
raco setup: rendering: <pkgs>/cur/scribblings/cur.scrbl
WARNING: collected information for key multiple times: '(dep ((lib "cur/main.rkt") Type)); values: #t #t
WARNING: collected information for key multiple times: '(form ((lib "cur/main.rkt") Type)); values: (vector #f '(form ((lib "cur/main.rkt") Type)) #f (list (mobile-root #<path:/home/racket/build-pkgs/user/.racket/snapshot/pkgs/cur/doc/cur>) #"Curnel_Forms.html") #f) (vector #f '(form ((lib "cur/main.rkt") Type)) #f (list (mobile-root #<path:/home/racket/build-pkgs/user/.racket/snapshot/pkgs/cur/doc/cur>) #"Curnel_Forms.html") #f)
WARNING: collected information for key multiple times: '(index-entry (form ((lib "cur/main.rkt") Type))); values: (list '("Type") (list (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) "Type" ...)) (delayed-index-desc #<procedure:.../manual-bind.rkt:93:3>)) (list '("Type") (list (cached-element (style "RktSym" (list 'tt-chars (css-addition '(collects #"scribble" #"racket.css")) (tex-addition '(collects #"scribble" #"racket.tex")))) "Type" ...)) (delayed-index-desc #<procedure:.../manual-bind.rkt:93:3>))
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/local-redirect.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/release.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/search.scrbl
raco setup: rendering: <pkgs>/racket-index/scribblings/main/user/start.scrbl
raco setup: --- installing collections ---
raco setup: --- post-installing collections ---
The time is now Tuesday, October 6th, 2015 8:23:53pm