("5.3.1" ("824770c0006e84a827face921731048365875205" . "2104f6d622013f7aff087c26f70804c860e7b8a9") (collects #"racket" #"unit.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"dns-sig.rkt") (collects #"net" #"dns.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
