("5.3.1" ("e9357cb565f53aea411e3d7031df2f86eba83726" . "06b6c07924927f70a53c3fbf04558c80bf665f7d") (collects #"scribble" #"base.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
