("7.2" racket ("3d2cd34accfb9d3877632df88142e9c06187e19d" . "1927ef66cdaf16d6a8fb44737f7fdc310ceeaed3") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"readerr.rkt"))
