("8.15" tarm32nb ("15cc7ebf3011f67f5c1362ea0a0033546935bbb2" . "0c59d88a661e422357f2f00ad79131140e167c87") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"function.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"set.rkt") (collects #"racket" #"string.rkt") (collects #"racket" #"vector.rkt") (collects #"redex" #"private" #"jdg-gen.rkt") (collects #"redex" #"private" #"judgment-form.rkt") (collects #"redex" #"private" #"pat-unify.rkt") (collects #"redex" #"private" #"search.rkt") (collects #"redex" #"private" #"trace-layout.rkt") (indirect collects #"racket" #"match" #"gen-match.rkt") (indirect collects #"racket" #"match" #"parse.rkt"))
