("5.0.1.5" ("7281bddce2a4bcc73956f8a4141570c238eb8cde" . "68133670e9b26baefc5727c3c413609c67ed912f") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
