("5.0.1.5" ("0c133b88d088600208b600ea0c913474adb1cbaa" . "83da6c389287e8e679f23b6d4c2aec2745cecb5c") (collects #"scheme" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"base.rkt") (collects #"scheme" #"lang" #"reader.rkt"))
