("5.0.1.5" ("ed99ceeff657324f4ac8c25adad5b5c8072bcb57" . "1bb0d7191b00dda7e7440650a132d7c55ddfed63") (collects #"racket" #"main.rkt") (collects #"xml" #"main.rkt") (collects #"racket" #"lang" #"reader.rkt"))
