("5.3.6" ("a60ac3fcf72ad5b92b761da136c51b37f81fe4ed" . "97cfa97c5098e89851d0109c63fe82d019f2a665") (collects #"scribblings" #"main" #"private" #"utils.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
