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