("6.5" ("8a11502c124433f8ad9e3fa7a9e81b6cc7e58e16" . "1dd081ca1da72958dfc81ca660bcf7ccd432c012") (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"))
