("5.3.1" ("9eb20465ace85c1282f8497cac7ac492257cbd9e" . "91dbf53cce19f1968901d0372312ea1a80398ef1") (collects #"racket" #"base.rkt") (collects #"mzlib" #"match.rkt") (collects #"planet" #"private" #"data.rkt") (collects #"planet" #"private" #"short-syntax-helpers.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
