("5.3.6" ("76f6b8742eedb22f1498fbcac3bcc6b1334bc27e" . "9d4e0a93fd53bdf07be3e2c4262fe478bb6c8678") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt"))
