("8.15" tarm32nb ("c3ea22f50339f67ee9558f44758a402a3f24952b" . "c3a2cc4aaafe3e6b07f29ddfa6c29b9e47a2a73e") (collects #"file" #"gunzip.rkt") (collects #"net" #"ftp.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"stxparam-exptime.rkt") (collects #"racket" #"stxparam.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-prefix.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"setup" #"collects.rkt"))
