("5.3.1" ("270bdb26d60f36b8e67e5dd9b906571f01b848e1" . "dbde47c8a7fcc438df1fba33d33dca09cfedcc50") (collects #"syntax" #"modresolve.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"lang" #"reader.rkt"))
