("7.2" racket ("57831fb512429135b86785f7a86b0f73b0be32b2" . "de72fcf366996fded57da8a58fd6fc08f6d23740") (collects #"racket" #"base.rkt") (collects #"racket" #"match" #"match.rkt") (collects #"racket" #"match" #"runtime.rkt") (collects #"racket" #"runtime-config.rkt"))
