("5.3" ("3fd8fcce443a6c866f18853a0d42c78d2ca12459" . "43f372e0a159a278eba890a73e63d5efa5ee7d65") (collects #"racket" #"control.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
