("5.3.1" ("f943dba1a3ed85221ee690c2bbecab6dc403e78c" . "33fc44c3f0390ff2159b6235eadc573547546629") (collects #"racket" #"serialize.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"framework" #"preferences.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
