("5.0.1.5" ("3bde0ff953298e483dec6dac75ceb836b4cdfa11" . "12caab07ad4a51e0035196ab746946e1fbae8613") (collects #"typed-scheme" #"main.rkt") (collects #"typed" #"private" #"utils.rkt") (collects #"net" #"dns.rkt") (collects #"typed-scheme" #"lang" #"reader.rkt"))
