("5.3.1" ("5324b6725d2409c7f5272df23ee3e797859f15ec" . "fa2be9af984996fb64af0c9d359d7a1ad21658a8") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"struct.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
