("9.3" tla64le ("a12c6cc2e5b622c8f812df6b686658a2b1d5b867" . "92b2cd247caddeb0e2cc8ca74989fef72ee6d7ba") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"shared.rkt") (collects #"racket" #"undefined.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
