("5.3.1" ("6bf4232d1acd0f906725801978f7566cab50a75f" . "7660478a1e93ae9a68b98244669ec2b11c332249") (collects #"racket" #"contract" #"private" #"guts.rkt") (collects #"racket" #"contract" #"private" #"prop.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"private" #"generate-base.rkt") (collects #"racket" #"contract" #"private" #"rand.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
