("5.3.1" ("929e031045abb85e19e1e8da11a6977fde6c72e8" . "1a6711290b4e0942eb6f6cc8f4ecc5a5c865017a") (collects #"racket" #"base.rkt") (collects #"planet" #"private" #"define-config.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
