("6.12" ("dad0417b4b716ad25d4377ae700947be8b0f3a0b" . "d748cf22e4e4b83de3d18fdb68c04e363c278ca5") (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"))
