("7.2" racket ("7dbbea772da2f6dc1339e9fd8e62656e175e05fb" . "7dfc79ff80d629b2a15844303c5490bbc4364b7c") (collects #"racket" #"base.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
