("5.0.1.5" ("eef7a00c56e38e2bf2f1041e8aa1235a18725f7c" . "d81c9073bf0db430000d5f20142d07aa2dba68a0") (collects #"scheme" #"base.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"scribble" #"reader.rkt"))
