("6.5" ("dad0417b4b716ad25d4377ae700947be8b0f3a0b" . "cbea18c8a1b8f624ae0b41b7bd05ab77a62b3bc6") (collects #"racket" #"extflonum.rkt") (collects #"racket" #"flonum.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
