("7.3" racket ("c2fdad9a8938d83b784fdcafa234053c2e808966" . "68133d2e869b0d9c4cb950f17aef301445f5f55a") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"stx.rkt"))
