("5.0.1.5" ("2e80560593b06c6a1a0e27cf3ef69376540b537c" . "c107bfdfe0ba6124e548b85fcbad573b1a4a28d8") (collects #"racket" #"base.rkt") (collects #"xml" #"xml.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
