("5.3.1" ("77c33393ed8d24ab506d50f3b3c8febcd8a307c5" . "f0f4e28bcb471bb83e2afdf6511a0a0da265ebff") (collects #"rnrs" #"main.rkt") (collects #"scheme" #"base.rkt") (collects #"r6rs" #"main.rkt") (collects #"r6rs" #"private" #"prelims.rkt") (collects #"r6rs" #"lang" #"reader.rkt"))
