("5.0.1.5" ("dc873dfbcb44a9b34dd4c006b022f1b72b9c3d36" . "f968577d29a4a3881e0c052bbcb762f54fd52b36") (collects #"scheme" #"base.rkt") (collects #"scheme" #"cmdline.rkt") (collects #"scheme" #"string.rkt") (collects #"scheme" #"match.rkt") (collects #"scheme" #"pretty.rkt") (collects #"file" #"gzip.rkt") (collects #"file" #"gunzip.rkt") (collects #"net" #"base64.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
