The time is now Tuesday, February 2nd, 2016 2:46:09pm /usr/bin/ssh -R 18333:localhost:18333 racket@192.168.56.108 '/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 refined-acl2' Resolving "refined-acl2" via http://localhost:18333/built/catalog/ Resolving "refined-acl2" via http://localhost:18333/archive/catalog/ Downloading http://localhost:18333/archive/pkgs/refined-acl2.zip Resolving "mischief" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/mischief.zip The following uninstalled packages were listed as dependencies and they were automatically installed: dependencies of refined-acl2: mischief 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: /mischief/debug raco setup: making: /mischief/debug/mischief raco setup: making: /mischief/debug/mischief/lang raco setup: making: /mischief/debug/racket raco setup: making: /mischief/debug/racket/base raco setup: making: /mischief/debug/racket/base/lang raco setup: making: /mischief/debug/racket/lang raco setup: making: /mischief/mischief raco setup: making: /mischief/mischief/lang raco setup: making: /mischief/mischief/private raco setup: making: /mischief/mischief/props raco setup: making: /mischief/mischief/props/lang raco setup: making: /mischief/mischief/scribblings raco setup: making: /mischief/mischief/stylish raco setup: making: /mischief/mischief/tests raco setup: making: /mischief/no-debug raco setup: making: /mischief/no-debug/mischief raco setup: making: /mischief/no-debug/mischief/lang raco setup: making: /mischief/no-debug/racket raco setup: making: /mischief/no-debug/racket/base raco setup: making: /mischief/no-debug/racket/base/lang raco setup: making: /mischief/no-debug/racket/lang raco setup: making: /refined-acl2 (Dracula) raco setup: in /refined-acl2 raco setup: in /refined-acl2/expansion raco setup: in /refined-acl2/model raco setup: in /refined-acl2/proof /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file module path: unstable/list path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt system error: No such file or directory; errno=2 compilation context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/core.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/base.rkt context...: standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import ... raco setup: making: /refined-acl2/expansion raco setup: in /refined-acl2/expansion sym: undefined; cannot use before initialization compilation context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/expansion/alpha.rkt context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/mischief/mischief/transform.rkt:166:0: format-fresh30 /home/racket/build-pkgs/racket/collects/racket/contract/private/arrow-val-first.rkt:335:3 /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/mischief/mischief/match.rkt:35:7: for-loop dots-loop /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:713:4 /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:169:4: worker /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:92:2: compile-directory-visitor23 /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:990:2: compile-cc /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:1066:10: for-loop /home/racket/build-pkgs/racket/collects/setup/setup-core.rkt:70:0: setup-core /home/racket/build-pkgs/racket/collects/setup/setup.rkt:65:3 ... raco setup: making: /refined-acl2/model raco setup: in /refined-acl2/model /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file module path: unstable/list path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt system error: No such file or directory; errno=2 compilation context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/acl2.rkt context...: standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:713:4 /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:169:4: worker /home/racket/build-pkgs/racket/collects/compiler/compiler.rkt:92:2: compile-directory-visitor23 ... raco setup: making: /refined-acl2/prelude raco setup: in /refined-acl2/prelude raco setup: in /refined-acl2 raco setup: in /refined-acl2/model /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file module path: unstable/list path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt system error: No such file or directory; errno=2 compilation context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/core.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/prelude/base.rkt context...: standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import ... raco setup: making: /refined-acl2/prelude/base raco setup: in /refined-acl2/prelude/base raco setup: in /refined-acl2 raco setup: in /refined-acl2/model /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file module path: unstable/list path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt system error: No such file or directory; errno=2 compilation context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/prelude/base/datatype.rkt context...: standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:549:22 /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:545:5 ... raco setup: making: /refined-acl2/prelude/core raco setup: in /refined-acl2/prelude/core raco setup: in /refined-acl2 raco setup: in /refined-acl2/model /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file module path: unstable/list path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt system error: No such file or directory; errno=2 compilation context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/kernel.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/prelude/core/atomic.rkt context...: standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:549:22 /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:545:5 ... raco setup: making: /refined-acl2/proof raco setup: in /refined-acl2/proof raco setup: in /refined-acl2 raco setup: in /refined-acl2/model /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file module path: unstable/list path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt system error: No such file or directory; errno=2 compilation context...: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/api.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model.rkt /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/proof/static.rkt context...: standard-module-name-resolver /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:346:0: compile-zo* /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:561:26 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:553:42 /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:518:0: maybe-compile-zo /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:633:2: do-check /home/racket/build-pkgs/racket/collects/compiler/cm.rkt:749:4: compilation-manager-load-handler standard-module-name-resolver /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:549:22 /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:545:5 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/mischief/mischief/require.rkt:49:3 /home/racket/build-pkgs/racket/collects/racket/require-transform.rkt:266:2: expand-import /home/racket/build-pkgs/racket/collects/racket/private/stxloc.rkt:21:17: try-next /home/racket/build-pkgs/racket/collects/racket/private/reqprov.rkt:243:2 ... raco setup: making: /refined-acl2/tests raco setup: in /refined-acl2/tests raco setup: in /refined-acl2/expansion raco setup: in /refined-acl2/tests/suite raco setup: making: /refined-acl2/tests/suite raco setup: --- creating launchers --- raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: running: /racket-index/scribblings/main/user/local-redirect.scrbl raco setup: syncing: /mischief/mischief/doc/mischief 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 setup: --- summary of errors --- raco setup: error: during making for /refined-acl2 (Dracula) raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file raco setup: module path: unstable/list raco setup: path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt raco setup: system error: No such file or directory; errno=2 raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/expansion raco setup: sym: undefined; raco setup: cannot use before initialization raco setup: compiling: /refined-acl2/expansion/alpha.rkt raco setup: error: during making for /refined-acl2/model raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file raco setup: module path: unstable/list raco setup: path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt raco setup: system error: No such file or directory; errno=2 raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file raco setup: module path: unstable/list raco setup: path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt raco setup: system error: No such file or directory; errno=2 raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude/base raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file raco setup: module path: unstable/list raco setup: path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt raco setup: system error: No such file or directory; errno=2 raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/prelude/core raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file raco setup: module path: unstable/list raco setup: path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt raco setup: system error: No such file or directory; errno=2 raco setup: compiling: /refined-acl2/model/data.rkt raco setup: error: during making for /refined-acl2/proof raco setup: /home/racket/build-pkgs/user/.racket/6.3.90.900/pkgs/refined-acl2/model/data.rkt:129:2: cannot open module file raco setup: module path: unstable/list raco setup: path: /home/racket/build-pkgs/racket/collects/unstable/list.rkt raco setup: system error: No such file or directory; errno=2 raco setup: compiling: /refined-acl2/model/data.rkt raco pkg install: packages installed, although setup reported errors The time is now Tuesday, February 2nd, 2016 2:46:41pm