("5.3.1" ("1d207cfd7229ac350e31b550ae5fab1e18ff847e" . "1dfd21c63aba8c9cdbae558496e877149d3aaab0") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"inside" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
