("8.15" tarm32nb ("18efeec7873870348eb716aac628215e84442b4c" . "b2080763a0fc63162a9c05505ca55272f212d690") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"html" #"main.rkt") (collects #"scribble" #"text" #"lang.rkt") (collects #"scribble" #"text" #"syntax-utils.rkt"))
