("7.2" racket ("a95f3cd7e45c0dfd6e3d375af8c6f14a3237c23c" . "3cba51d05123a9fafe07663416b81ef5a54ff468") (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"))
