("5.3.1" ("4c9dcd307eed76a5673aa498036ef014f9a22458" . "e578953d76ebb83710d1bbccdccde5a9a2a05deb") (collects #"scheme" #"base.rkt") (collects #"scribble" #"private" #"provide-structs.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
