("5.3" ("1710ed1f4e128d215fd28850eee9a87e71747e6c" . "d42b8460f1e5eb55560c086fe5ceea5f2bed8ff3") (collects #"launcher" #"launcher.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"scribble" #"doclang.rkt") (collects #"framework" #"preferences.rkt") (collects #"setup" #"dirs.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
