("8.15" tarm32nb ("22dd5092a4bc7ddfa4475a3260586c960ec116cf" . "6f371c4b32f67b563754b587a1dd30904ec14e9d") (collects #"lang" #"private" #"intermediate-plus.rkt") (collects #"lang" #"private" #"provide-and-scribble.rkt") (collects #"lang" #"private" #"teach-module-begin.rkt") (collects #"lang" #"private" #"teach.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"manual.rkt") (collects #"syntax" #"docprovide.rkt") (collects #"test-engine" #"racket-tests.rkt"))
