("5.3.1" ("c3e680ddcb0cb4a88bbe14660ceee547c7d6c977" . "247a04c2355ab953f716b2ad9748e7d15cfea7b2") (collects #"racket" #"contract" #"base.rkt") (collects #"data" #"splay-tree.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"promise.rkt") (collects #"racket" #"dict.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
