("5.3.6" ("16a6403fd15f0a8632da450d353f33380ff34488" . "c2242fdf211b9130d03974f0ffec5e7ad6a72b23") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribble" #"sigplan.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
