("5.0.1.5" ("abfb906f3cecca9182a72e2cdbc7d1318bbc04a3" . "eb3c711003c11a2df4d20ede32a92b3bcc9f693a") (collects #"typed-scheme" #"main.rkt") (collects #"typed" #"private" #"utils.rkt") (collects #"net" #"pop3.rkt") (collects #"typed-scheme" #"lang" #"reader.rkt"))
