("5.3" ("f943dba1a3ed85221ee690c2bbecab6dc403e78c" . "bcce9cd762e9e8a2336b8f14862176d599a50780") (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"))
