("5.0.1.5" ("1a4d95db78aec952c09b9c00005398e597ec1294" . "0c6c1354126e754c47e59fe88a971079a417519f") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
