("6.5" ("a9b254ea67b4d5dcf96bb00101c9f9c278707e3a" . "283ed5f0056d57acd9cd7c626e69beba327878ee") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"typed-racket" #"private" #"oc-button.rkt") (collects #"typed-racket" #"typed-reader.rkt"))
