("7.2" racket ("1d4b1de7225e2736320ba542297e9e33c69b8bdd" . "2630c48830531da066e6d32f9f48cf6a1c10600c") (collects #"r5rs" #"init.rkt") (collects #"r5rs" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
