("5.3.1" ("7cc8bb06a56c4d0fba3c153b4e88749be4c56b13" . "07a45d998e206d89ae3c493e4adc4a9c6ca422fb") (collects #"scheme" #"private" #"provider" #"lang.rkt") (collects #"racket" #"require-syntax.rkt") (collects #"scheme" #"private" #"provider" #"lang" #"reader.rkt"))
