("6.12" ("bb87cd01c3851efe7ee4151ade7cd98e4425b8b6" . "c96f06d1642e7f1dedaad549e943c7e9d02dff94") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"rackunit" #"text-ui.rkt") (collects #"scribblings" #"guide" #"contracts" #"examples" #"3.rkt"))
