("5.0.1.5" ("74e2d5699efcab32b8f65649e2974843598cfaa0" . "96fd9d1ed9f59473da83a70600612fcd4e327ccf") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"rackunit" #"private" #"base.rkt") (collects #"rackunit" #"private" #"gui" #"gui.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
