("7.2" racket ("5948099ae1b2f42b27c209028459db2759b16e39" . "9098a528f153ea1cbc5502fe60cb85325f07032c") (collects #"racket" #"date.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
