("8.15" tarm32nb ("8aebefefade5310040536b8b171ac14fb9fa3eed" . "cb201a516451cfc9ef4e13f2fa89f1b936cf122f") (collects #"net" #"url.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt"))
