("7.2" racket ("88f745306578a8098dc69d34a94d4db0cab49a0a" . "0c2c5d48f31f96dcb986b2ae0c76c4c4876a280c") (collects #"lang" #"error.rkt") (collects #"lang" #"htdp-beginner.rkt") (collects #"lang" #"private" #"firstorder.rkt") (collects #"mzscheme" #"lang" #"reader.rkt") (collects #"mzscheme" #"main.rkt") (collects #"stepper" #"private" #"syntax-property.rkt"))
