("5.3.1" ("1ef40cf4d3e5e055722ff87d6630637c851284ba" . "30af8fc21d0b30e3de2a55acfdc101b2a3b95f75") (collects #"swindle" #"clos.rkt") (collects #"swindle" #"turbo.rkt") (collects #"swindle" #"extra.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
