("5.3.1" ("fc95b8f658420cbb2b02eab8a099686e99b48c11" . "5211caf77c8a8821ec27a753f748847f29e5b0ec") (collects #"scribble" #"base.rkt") (collects #"scribble" #"latex-prefix.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"list.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"sigplan.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
