("5.0.1.5" ("da004b71d87b14e071acb0f9f2458f45a97ac3a5" . "048dc6a3e600cfcec03cb394e7f9b7a428958b4b") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"drracket" #"common.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
