("5.3.1" ("c72022e743b4c31b6da1a16d47a6a0d094c79d8c" . "fe65cd5d177a88295c688b68364327f4e14790b2") (collects #"mzlib" #"kw.rkt") (collects #"mzlib" #"class.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"scheme" #"mzscheme.rkt") (collects #"scribble" #"scheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"scribble" #"manual.rkt") (collects #"mzlib" #"for.rkt"))
