("7.2" racket ("a95f3cd7e45c0dfd6e3d375af8c6f14a3237c23c" . "7c426cffa768882a96101c43d250a131d898169c") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"manual.rkt"))
