("5.0.1.5" ("3a7b768a7ba80da06fb6116d69e0905c0ae1dc7d" . "52d1afb637fb8e087b7342db3473729206962b2e") (collects #"mzlib" #"plt-match.rkt") (collects #"scribble" #"doclang.rkt") (collects #"mzlib" #"scribblings" #"common.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
