("5.0.1.5" ("0a82154b567b9dcd296cb577706c7faf75916340" . "d32303f4701427c938a42c22dad19fc50eaa4c0d") (collects #"scheme" #"base.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
