("5.3.1" ("e81ba6ce5c191e440c7f1e4e4099a1b27aae6770" . "2bffdd9cc7a85acff75732d517f1408354fcf7b7") (collects #"racket" #"file.rkt") (collects #"racket" #"serialize.rkt") (collects #"racket" #"contract.rkt") (collects #"scribble" #"eval.rkt") (collects #"racket" #"sandbox.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
