("5.0.2" ("5ec72e2211ce5ee94c502d7d55db3a0963883cd7" . "5bded4d36700a07f0624b598ba16fe754b9b87d9") (collects #"scheme" #"base.rkt") (collects #"scheme" #"contract.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
