("5.0.1.5" ("b35fd7897614ea79ecfb1e915a72ecfb466e2a5b" . "0a13894ff828bb605d0142428c8a49a8a2dd7c4c") (collects #"racket" #"base.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
