("5.3.1" ("d0509b028e51115b1004fa6e9a1e8a609c00e534" . "487696c6fde3f7140dd217d226f9b1e89bb13d02") (collects #"planet" #"syntax.rkt") (collects #"syntax" #"parse.rkt") (collects #"racket" #"base.rkt") (collects #"planet" #"version.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
