("7.2" racket ("8d7dc3c1b896a7c3705e49dad619c32885701f02" . "393bd19dec4383b0121f449360b2ecd7b7db0a4b") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"private" #"custom-write.rkt") (collects #"racket" #"runtime-config.rkt"))
