("5.0.1.5" ("3a83ca161d9b7b184d70af31ef7ee0b98d9695e7" . "1022e915cb9a8febe0b3c9ed0f484e70f83d4b4c") (collects #"srfi" #"provider.rkt") (collects #"srfi" #"60.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
