("5.0.1.5" ("0f95acb486f1b9415cffb06075110244341c4a0e" . "5eaf5db3a47f470d9d3d0118d8485263c20543fb") (collects #"typed-scheme" #"main.rkt") (collects #"typed" #"private" #"utils.rkt") (collects #"net" #"ftp.rkt") (collects #"typed-scheme" #"lang" #"reader.rkt"))
