("5.3.1" ("ea44ce5d3b4f340872a785a1c085b60ff1fa09d5" . "50b117fee6819b608792844e37fb08ca42ae9dac") (collects #"rnrs" #"lists-6.rkt") (collects #"r6rs" #"private" #"vector-types.rkt") (collects #"r6rs" #"main.rkt") (collects #"r6rs" #"private" #"prelims.rkt") (collects #"rnrs" #"base-6.rkt") (collects #"r6rs" #"lang" #"reader.rkt"))
