("7.2" racket ("263c407a91fbaaebfe79f80b853848b6ab24c1d9" . "ade29d9dbb6cd10efecabfdedca20a4788498fbd") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt"))
