("7.2" racket ("8a11502c124433f8ad9e3fa7a9e81b6cc7e58e16" . "88278394620ce07dc53dc6146a009a8408886ffb") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"rackunit" #"text-ui.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"5.rkt"))
