("5.3.1" ("138675ec23c233fe1e6a517a07151176adf0fdf5" . "1037df3fd0adb02c4764fa3d6498161d53ca81ca") (collects #"raco" #"command-name.rkt") (collects #"racket" #"cmdline.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"match.rkt") (collects #"racket" #"path.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
