("9.3" tla64le ("9ef72a7300fbdc469a0be034ae19823570110f26" . "3bd233fbcc414ae26829a644563e7f446a04f4fb") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"dollar.rkt") (collects #"syntax" #"module-reader.rkt"))
