("7.2" racket ("e2d4c4ebe566b7725437a477a52eb7713e3e7f69" . "32dae270301eb9fdae00803b2dbb24c9dcbb55b8") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"performance-hint.rkt") (collects #"racket" #"runtime-config.rkt"))
