("7.2" racket ("64daafff609660c6b88ef4527f5d0b8b2dcb8e21" . "6d6107d72ea8bbed3be837a2c2ecd142c039111a") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"runtime-config.rkt"))
