("8.15" tarm32nb ("ca89a5189e2ce559e6045b2a332492b9620f0bc5" . "1fd49fb2a2ec2918510fdafb515af7f7642bfe0f") (collects #"framework" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"redex" #"private" #"derivations-layout.rkt") (collects #"redex" #"private" #"judgment-form.rkt") (collects #"redex" #"private" #"size-snip.rkt") (collects #"redex" #"private" #"traces.rkt"))
