("7.2" racket ("e07ad4f5c39d214b78e54d1fa2450f6d4756b7a0" . "ca7bbdc44522d9f2d85e12f6c287f00ebb50c76e") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"stx.rkt") (collects #"racket" #"runtime-config.rkt"))
