("5.3" ("bf217a5f8ee778000b3361ac295fdbbd19330a51" . "867dc5a7f80d307fa6d91c7e69ec5684070a65d4") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"date.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
