("8.15" tarm32nb ("02fdfb098f423b9a0cb4735757749ed8d7fbbbe2" . "059f0211fc063e2a8c6cfdad32a6b29df7da048b") (collects #"drracket" #"tool-lib.rkt") (collects #"framework" #"keybinding-lang.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (indirect collects #"typed-racket" #"rep" #"type-rep.rkt"))
