("5.0.1.5" ("1df09a165d89fa5f039a6f853dee516dd1f9059b" . "7719ad7eb448f857bf23537419f50ed470950611") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"gui" #"common.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
