("5.3.1" ("e2bb97697b6b650ecb472add4472aace8b863f9f" . "0a1c8ab0c6229c8062c27a79ef9d7e51db906e30") (collects #"scheme" #"base.rkt") (collects #"dynext" #"filename-version.rkt") (collects #"scheme" #"base" #"lang" #"reader.rkt"))
