("5.3.1" ("1333c1947f9a7f5b50518c71057273a23caa026b" . "a8f533db9de79cafcf69682a97babc84daeccc86") (collects #"scheme" #"private" #"namespace.rkt") (collects #"racket" #"base.rkt") (collects #"scheme" #"private" #"lang" #"reader.rkt"))
