The time is now Monday, May 18th, 2015 10:56:07am /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 icfp-2014-contracts-talk && bin/raco test --drdr --package icfp-2014-contracts-talk' Resolving "icfp-2014-contracts-talk" via http://localhost:18333/built/catalog/ Downloading http://localhost:18333/built/pkgs/icfp-2014-contracts-talk.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: updating: /home/racket/build-pkgs/user/.racket/scope-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: /icfp-2014-contracts-talk raco setup: making: /icfp-2014-contracts-talk/counts raco setup: --- creating launchers --- raco setup: --- installing man pages --- raco setup: --- building documentation --- raco setup: --- installing collections --- raco setup: --- post-installing collections --- raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/boundaries-not-projections.rkt" boundaries-not-projections.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/boundary.rkt" boundary.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/code-combine.rkt" code-combine.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/color.rkt" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/counts/contracts-vs-commits.rkt" contracts-vs-commits.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/counts/time-vs-contracts.rkt" time-vs-contracts.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/dep.rkt" dep.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/equations.rkt" equations.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/faces.rkt" faces.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/slideshow-lib/slideshow/slide.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/function-machine.rkt" function-machine.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/racket/gui/base.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/heap-slides.rkt" heap-slides.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/heap.rkt" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/info.rkt" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/intro.rkt" intro.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/main.rkt" main.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/racket/gui/base.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/model-lib.rkt" model-lib.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/random-generation.rkt" random-generation.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/slideshow-lib/slideshow/slide.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/redex-model.rkt" redex-model.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/kernel.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/mred.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/mred.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/redex-typeset.rkt" redex-typeset.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/render-bytes.rkt" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/takeaways.rkt" takeaways.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/talk.rkt" talk.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/main.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/title-lib.rkt" title-lib.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/slideshow-lib/slideshow/slide.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/title.rkt" title.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/racket/gui/base.rkt: [traversing imports]\n" raco test: "/home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/util.rkt" util.rkt: raco test: non-empty stderr: #"ffi-lib: couldn't open \"libgdk-x11-2.0.so.0\" (libgdk-x11-2.0.so.0: cannot open shared object file: No such file or directory)\n context...:\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/utils.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/init.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/gtk/platform.rkt: [traversing imports]\n /home/racket/build-pkgs/racket/share/pkgs/gui-lib/mred/private/wx/platform.rkt: [running body]\n /home/racket/build-pkgs/racket/share/pkgs/slideshow-lib/slideshow/slide.rkt: [traversing imports]\n" 21/24 test failures 3 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/render-bytes.rkt 0 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/color.rkt 0 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/heap.rkt 0 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/info.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/boundaries-not-projections.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/boundary.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/code-combine.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/counts/contracts-vs-commits.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/counts/time-vs-contracts.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/dep.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/equations.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/faces.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/function-machine.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/heap-slides.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/intro.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/main.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/model-lib.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/random-generation.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/redex-model.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/redex-typeset.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/takeaways.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/talk.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/title-lib.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/title.rkt 1 1 /home/racket/build-pkgs/user/.racket/scope-snapshot/pkgs/icfp-2014-contracts-talk/util.rkt The time is now Monday, May 18th, 2015 10:57:17am