("5.0.2" ("56ed1e07d87d96f55b73757ea30e95868c7a9380" . "74dd26f949daa2f2bd2f4a47d978a34943cb9b3f") (collects #"scheme" #"base.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"latex-properties.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"setup" #"main-collects.rkt") (collects #"scheme" #"promise.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
