("5.3.1" ("1cf7a8118b8d7300e7ce8e4c35d53773357bedc6" . "b296fbf929dd315ef205f315cd444d974d2b95f2") (collects #"scheme" #"base.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scribble" #"core.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
