("5.3.1" ("b3fc2298b11d5220ecddb215e9d86b571678fff8" . "6e573dcbcec236920b092b7c39cac8db9f39f4e6") (collects #"scheme" #"base.rkt") (collects #"mzscheme" #"main.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"scheme" #"mpair.rkt") (collects #"r5rs" #"private" #"r5rs-trans.rkt"))
