("5.0.1.5" ("e36c7258170c96986d9b9d8965d28077feb10d5b" . "c21bbbd8ee4438612bc361c99251078d222a4383") (collects #"typed-scheme" #"main.rkt") (collects #"typed" #"private" #"utils.rkt") (collects #"file" #"gif.rkt") (collects #"typed-scheme" #"lang" #"reader.rkt"))
