("9.3" tla64le ("92bb0dd2adf241725e30130008d2c6c39c92eb8b" . "ac7f8a02de7e18560021ede368311cece4a2a5c0") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"syntax" #"parse.rkt"))
