("7.2" racket ("def22d1845e167c4e5588abf8fb1c241439bab98" . "32a41311aabc2577e73c91f906dc577c84b96b6e") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"serialize.rkt"))
