("8.15" tarm32nb ("5ece3bdc3dfd38c8748427f382665100772563fa" . "a9445048e85696083e384a9a018ea5d0230929bb") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"slatex" #"slatex-wrapper.rkt"))
