("5.0.1.5" ("042321447236e318bf34ef710d14e53d4a244168" . "28a0033c6f5109a4bd1c2cd3600b095458a0331c") (collects #"net" #"tcp-redirect.rkt") (collects #"net" #"tcp-sig.rkt") (collects #"scribble" #"doclang.rkt") (collects #"net" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
