("7.3" racket ("37761c7d72dd97dc4cee4c083650523ec8f713fe" . "b93b040ee6ff14cda31f3aa3cb9c9e581b9711ab") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"undefined.rkt") (collects #"syntax" #"kerncase.rkt"))
