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