("5.3" ("886f7a7469e66d5d0ba8be13abb0ac3c95332e1a" . "8d9002c9bf08f1ef4cfa4b8b85033a2ba7f25290") (collects #"typed" #"racket" #"base.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"rnrs" #"lists-6.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
