("9.3" tla64le ("92570f5b156086b8ae4748676f52476c11b4773e" . "8914a356de215a7378202aa55aea32fece268293") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rnrs" #"lists-6.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket" #"base.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
