("5.3" ("a7348a5fe87ed50186ffe11ad9075d864ebb96d4" . "6a5d136e86f310bdc64a1d791cf3201e81ace4f9") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
