("5.3.1" ("1fe5094ab74010e15ff32eecec9d4754d9d7d77a" . "9378690154db313767024c6bfbb55859ff95372e") (collects #"racket" #"private" #"streams.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
