("5.0.1.5" ("dd97ccee6e9bce667832781bb9f100284e77de29" . "cc7040fe1c280ea3f88f48095c97b912369ff337") (collects #"racket" #"base.rkt") (collects #"rackunit" #"private" #"base.rkt") (collects #"rackunit" #"private" #"format.rkt") (collects #"rackunit" #"private" #"check-info.rkt") (collects #"rackunit" #"private" #"check.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
