("6.5" ("6f3a4f8b56c34bf845690f45d20a6ae8bc1e18c9" . "0b9e4ac76ba7ae7bd6637650ca640c022c08a99f") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"inside" #"utils.rkt"))
