("5.3.1" ("76f6b8742eedb22f1498fbcac3bcc6b1334bc27e" . "c286f4e8f125135ba7e15b98a50cb96da0672cad") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt"))
