("5.0.1.5" ("821c37d1e0537dfded9309dad1ccfba35440a705" . "87803d084ba078a1a034fd06498b097033286491") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"foreign" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
