("5.3.1" ("e92d894d85d2da9bf289d61122cf1340e9a496b7" . "17531967568ed13a8fb92e58f34301eafcc42de0") (collects #"racket" #"file.rkt") (collects #"planet" #"config.rkt") (collects #"srfi" #"1.rkt") (collects #"racket" #"base.rkt") (collects #"mzlib" #"port.rkt") (collects #"setup" #"getinfo.rkt") (collects #"planet" #"private" #"data.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
