("5.0.1.5" ("4a6790f6cbf7d649166eee244e450da2de7a08ed" . "e7b55c624704529c1c9da84c17ad1a773137b0e2") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribblings" #"main" #"private" #"utils.rkt") (collects #"scribblings" #"main" #"private" #"manuals.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
