("8.15" tarm32nb ("df5000d9e1886d80beec889813a130eb689413cc" . "da80039015b5d2605c353c82362eca0ba49426b7") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"main" #"private" #"manuals.rkt") (collects #"scribblings" #"main" #"private" #"utils.rkt"))
