("7.9" racket ("5bef98bfb35e3df5a3973488c3007f16e81a2601" "0f95bd8940da9d8cf9a381022bfff761a28b93a2" . "d7636b82553deaadfbe18658c3ed6f8faf71e464") (collects #"racket" #"private" #"define-et-al.rkt") (collects #"racket" #"private" #"stxcase.rkt"))
