("5.3.1" ("80e5f7263d3965c14244e7b429722b65dd9b1961" . "9fb8eaee22f15eda1fc1762ce2e05fec0cfeff3d") (collects #"racket" #"file.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
