("5.3.1" ("d26a26e7d0f76e314fc361f057d17ea21679072d" . "769bca3a4610713062c4aea3f35739676bb4b833") (collects #"scribble" #"manual" #"lang.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"version" #"check.rkt") (collects #"srfi" #"14.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt") (collects #"net" #"url.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
