("7.2" racket ("04c603497a623f7535e5f040bc5d5ca63fb9fc1f" . "94be6a890f3064aae544a5c7de2e35b653f41daa") (collects #"pkg" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
