("7.2" racket ("0a2cbad65bb168ddc8bd24dc4b5cc1deaeed93a3" . "bf1e99e53257d6b0666130871c9364edfdb5c155") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
