("5.3.1" ("50e69ea6c3d5e45e9b812cafa725041851a11324" . "06edbcc69e1b610a9b04776324fd04ec075dd987") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"snip" #"private" #"snip-admin.rkt") (collects #"racket" #"snip" #"private" #"style.rkt") (collects #"racket" #"snip" #"private" #"contract.rkt") (collects #"racket" #"snip" #"private" #"snip.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
