("7.3" racket ("f114341e1337cc975acdb1f5340f617f7d56b64f" . "b3a49f81ce37ad63d293de307b05844ceca95382") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"infotab.rkt") (collects #"syntax" #"module-reader.rkt"))
