("5.0.1.5" ("91d02374f494aff48cd9c8d1b07958405e27a51d" . "150ea28829c9bb8843d1bb39486dce041d5f01e0") (collects #"typed-scheme" #"main.rkt") (collects #"typed" #"private" #"utils.rkt") (collects #"net" #"url.rkt") (collects #"typed-scheme" #"lang" #"reader.rkt"))
