("5.3.1" ("f9d0f30439ae627b91088c629a2030de7aa848f9" . "1fe800764e604baf66f85303da9fab8c78ecc0cb") (collects #"racket" #"list.rkt") (collects #"syntax" #"modcode.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
