("5.3.1" ("aadc98345d9ff8437c02e952e2de8d9b6e1d9341" . "7892f38408b8aeb738e07c16cb41ac8ba8563920") (collects #"file" #"gunzip.rkt") (collects #"racket" #"file.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"latex-prefix.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"stxparam.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"stxparam-exptime.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"setup" #"main-collects.rkt") (collects #"net" #"ftp.rkt") (collects #"scribble" #"core.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
