("8.15" ti3nb ("bcb3d8ba465ace0f1c18d27133bae3c0813d12b2" . "ac56eb26854c698eeb005609ac10b868ce297071") (collects #"racket" #"private" #"letstx-scheme.rkt") (collects #"racket" #"private" #"norm-define.rkt") (collects #"racket" #"private" #"qqstx.rkt") (collects #"racket" #"private" #"stx.rkt") (collects #"racket" #"private" #"stxcase-scheme.rkt"))
