("5.0.1.5" ("a31ea9abcf59f9f5106a63d8042cf1bcfb8b033f" . "0adc9204aaed3a3b76300267e634b40406414653") (collects #"scheme" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
