("5.3" ("895ddfaa0681cb7b4dfd45ef4d9a8d2477036ccc" . "b24c7dba5a3538d35a4194885b5b30bbea580a93") (collects #"racket" #"serialize.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"fasl.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
