("5.3.1" ("10fe6e68d3c964d08b22a336233c8408918a217a" . "5c276ec3899ddcdfc23f4b655b5ace288e898141") (collects #"mzlib" #"file.rkt") (collects #"scheme" #"base.rkt") (collects #"setup" #"dirs.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
