("5.3.1" ("6d4ebd0c37c6ca32de4caf7208eee0442e6497b7" . "40aafea775899055e6f6470e11ca687469000a33") (collects #"scribble" #"base.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
