("8.15" tarm32nb ("7c74020eb1425051bc38a8cb8195671cdf2c5c89" . "25555bf59a19ab8582110a7df1f8a37d2793f014") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scribble" #"private" #"on-demand.rkt"))
