("5.0.1.5" ("ad10d0e465e5d7fd8e07605e870c5a05a6ebea84" . "ec59d50b9f84340a952a5f603277cda60ebd88d4") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"main" #"private" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
