("5.3" ("f943dba1a3ed85221ee690c2bbecab6dc403e78c" . "42692f6d86f7599945e78bc62a4412505b8c7faf") (collects #"racket" #"contract.rkt") (collects #"racket" #"serialize.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"base.rkt") (collects #"framework" #"preferences.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
