("8.15" tarm32nb ("96da0e14e146c44ec48c380a79c942b9da1a9fe2" . "a286717d48156622b946fd66a7c35d83b28d48e6") (collects #"ffi" #"unsafe" #"atomic.rkt") (collects #"ffi" #"unsafe.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"readline" #"main.rkt") (collects #"readline" #"pread.rkt") (collects #"readline" #"readline.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt"))
