("5.3.1" ("bbd263422e23555ac92dc5c2991efef67680f510" . "c9c83f0a8cd351947dc2b0fd7c0e0e5451ae37c7") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"eval.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"generic.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
