("5.3.1" ("bec223684aeb5739913a47382485bc82b5ff8343" . "f83bd4645c6159025e1d7bc2c35b7c835074f1aa") (collects #"racket" #"file.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"latex-prefix.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"jfp.rkt") (collects #"setup" #"main-collects.rkt") (collects #"net" #"ftp.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
