("5.0.1.5" ("bfa828c5a2f060d6ea71056df14b6b1d0491e1b9" . "13aba86aea6031f794ee52a01e5c0096b1b849e3") (collects #"syntax" #"stx.rkt") (collects #"scribble" #"doclang.rkt") (collects #"syntax" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
