("5.3" ("76f6b8742eedb22f1498fbcac3bcc6b1334bc27e" . "99cc50c1a6a7d24ffed02af910023332de3bba6b") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt"))
