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