("5.0.1.5" ("ff50cb7c01a70f15a9a40cc2cfcb5974301f24f1" . "3471b1d78393ed6432440055eab48fc8f734275c") (collects #"racket" #"base.rkt") (collects #"redex" #"reduction-semantics.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
