("5.3.1" ("2b1d7092f42ddef2528a5a50da5e21eaaaa57e94" . "26ae715adbe0c9e0e351024fac4dd3029be1b024") (collects #"racket" #"contract" #"base.rkt") (collects #"scheme" #"base.rkt") (collects #"scribble" #"private" #"provide-structs.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
