("5.0.1.5" ("0d02c890c4ef3767642d4cd1f2efa53b5e8001c1" . "b37f80ddf133f0b4b0ab981b00a28cd53f989608") (collects #"scheme" #"base.rkt") (collects #"planet" #"config.rkt") (collects #"scheme" #"path.rkt") (collects #"scheme" #"list.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
