("7.2" racket ("15c36e29103dd37d5a86e82607976f3f7886112f" . "e6c2e08a0a0e16eed66caf73011200ea0bcd072a") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"xml" #"private" #"core.rkt"))
