("5.0.2" ("15a14ee75ffc6448993973ae0d14a91f8017f668" . "41b33d6dd4338a39b4b99458fb950484e0c4c829") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"foreign" #"utils.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
