("8.15" tarm32nb ("2a7488d275b968d259eeb09ae2b630234098891b" . "6bd1771382755c40090ac52b92a4a08bd78163a7") (collects #"mrlib" #"interactive-value-port.rkt") (collects #"mrlib" #"scribblings" #"common.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt"))
