("5.3" ("dbd8b3004f8e4bf39abc0c0ad60f3c2e15332126" . "b1158862ad719e8e3d9464b4c6a2db689c19894f") (collects #"racket" #"contract" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"private" #"provide-structs.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
