("7.2" racket ("b997ddcd4feb57ba2c90538b00aa1932f199a177" . "8cacc9a558870af04c13d07f8684014854c2c3b6") (collects #"pkg" #"private" #"config.rkt") (collects #"pkg" #"private" #"dirs.rkt") (collects #"pkg" #"private" #"params.rkt") (collects #"pkg" #"private" #"print.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt"))
