("5.0.1.5" ("11dbf2f78be64c3154bca07d0bc0145e52f9934c" . "33eeab05ccd838738222dab28a685b958d6894b6") (collects #"syntax" #"modresolve.rkt") (collects #"scribble" #"doclang.rkt") (collects #"syntax" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
