("5.3.1" ("39f35516ee90e41dfe2ab1d04329c1d48080b637" . "7e0ab2420142523ad106921c72d7b77eb6ac39fb") (collects #"scheme" #"base.rkt") (collects #"rnrs" #"io" #"ports-6.rkt") (collects #"r6rs" #"private" #"exns.rkt") (collects #"r6rs" #"private" #"conds.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
