("5.3.6" ("3c32790eb5c22a7f099279c07a3bb70ed05ec925" . "9b805ad75375f4e9c5973adad6c204fbbcefdfcc") (collects #"scribble" #"base.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scribble" #"latex-prefix.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
