("5.0.1.5" ("35b0dcb18a3448c639516c3002bf8ae69f0f583e" . "ebae3cf85b5c2dbd076ba4d8137030f649f84272") (collects #"scheme" #"base.rkt") (collects #"mred" #"private" #"kernel.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
