("7.2" racket ("d99a605e535d042ad4493fb77ac5da2acfa65adf" . "e38a985e3f1957a802cb0f371e8c96df6f934457") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"private" #"object.rkt") (collects #"racket" #"private" #"class-c-new.rkt") (collects #"racket" #"private" #"class-c-old.rkt") (collects #"racket" #"private" #"class-internal.rkt") (collects #"racket" #"runtime-config.rkt"))
