("7.2" racket ("c47ee9a0807fddccb22dd4962422a0817071d1a1" . "3f92061677ecd741b81394a9d84201712faca114") (collects #"planet" #"config.rkt") (collects #"planet" #"private" #"data.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"getinfo.rkt"))
