("7.2" racket ("64c35a1ac915ce46f88f506f853480ec3b824fae" . "6e25da4e181889cfb41470f1de7092c70297dd54") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"for.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"unsafe" #"ops.rkt"))
