("5.3.1" ("faa81cc42616a05707a0cdb156404a73f847b9d8" . "6abd3bfc7b2ba6df24b878db11f8e8bdbd140b29") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"private" #"keyword.rkt") (collects #"racket" #"dict.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
