("5.0.1.5" ("17169d005956a07b8d2d598bf317fc416bff7b0c" . "4c4b98b7d17fb39d63615002524958014a4315f1") (collects #"string-constants" #"main.rkt") (collects #"racket" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
