("5.3.1" ("2ef40ee2eea91c9db8a33c6c4a321018ffb973c6" . "07ed447633d9500910407fa4d3a8d09304e2959f") (collects #"racket" #"contract" #"base.rkt") (collects #"syntax" #"parse" #"pre.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"parse" #"experimental" #"provide.rkt") (collects #"syntax" #"parse" #"experimental" #"contract.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
