("5.3.1" ("86d138976dcc3d7281ed501532d3a2eb501b6ebb" . "68d95f2d71eb914f7fc3e0859d4277f0fcd9dcdb") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
