("5.0.1.5" ("f3099575483e9e71f7b067d86b3f1c159a8fd3e0" . "4bbb1511c799953ab1b1e546f5fc6397e152f6f7") (collects #"racket" #"gui.rkt") (collects #"drracket" #"tool-lib.rkt") (collects #"unstable" #"class.rkt") (collects #"unstable" #"gui" #"language-level.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"unstable" #"scribblings" #"utils.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
