("8.15" tarm32nb ("41b2e8c1c90af6ac8289de0df5a77be5d7d80283" . "1edc12798871b6443504d1589040f18130c3ecc2") (collects #"html" #"html-spec.rkt") (collects #"html" #"html-structs.rkt") (collects #"html" #"sgml-reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"xml" #"main.rkt"))
