("5.3.1" ("1fae3f49d9ec8a58b240d5fbdb6ce3ef940c0695" . "78aa46acf534d34f81a2bcd3083e71451be10ccd") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"flonum.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
