("5.0.1.5" ("9329402b7ba688485df8f93d2e1777dd4afb3808" . "33aa55473dbe962b6bc2ead1aaefcc949c48950a") (collects #"scheme" #"base.rkt") (collects #"framework" #"private" #"sig.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
