("9.2" tla64le ("9ef72a7300fbdc469a0be034ae19823570110f26" . "45ad35048bc19d4a91821e131ce8c45c35ac7393") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"dollar.rkt") (collects #"syntax" #"module-reader.rkt"))
