("5.3" ("d26a26e7d0f76e314fc361f057d17ea21679072d" . "f5dea68e28af978f4a06ac86f2f6bc65ad4cf582") (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"))
