("8.15" tarm32nb ("2bae80e4f8ff5300e1f54b820c454c8e48b8956d" . "1ed03a84d3675b7f6d96767c86806da613a6f5ee") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"setup" #"collects.rkt"))
