("7.2" racket ("4d947bedeaaf67b1112bd4edde97fed7b706bea9" . "6c0c2fb43c2bcc4b1c11e3214e1c8485038c2762") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
