("5.3.1" ("0d02c890c4ef3767642d4cd1f2efa53b5e8001c1" . "1bc85d1b1e0ed565118f9debf67a12172cee1443") (collects #"scheme" #"path.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"list.rkt") (collects #"planet" #"config.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
