("8.15" tarm32nb ("850f107beccf921bda2be12d956d333b77e11a60" . "7e7ff27469348f161141d3ce3ae50340eca10ffe") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"redex" #"reduction-semantics.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt"))
