("8.15" tarm32nb ("22d8e91517363e1850ac7e7b5604479d6d97f083" . "635e982c06e8aa439030e9bc2aaaea952e51fbca") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"setup" #"plt-installer-sig.rkt") (collects #"setup" #"plt-installer-unit.rkt") (collects #"setup" #"plt-installer.rkt"))
