("5.0.1.5" ("ba46c7340f8d1904d85286a6e8fbbcf28726a588" . "4d71472125b5834f6881387c99d250fb5edfbf78") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"setup" #"dirs.rkt") (collects #"scribblings" #"main" #"private" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
