("9.2" tla64le ("23d8e59c4058d240b90cefb4d6caa49afd6453cd" . "91fb16c5b38852e88d3846d212036870189c1fe5") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"reference" #"ellipses-defn.rkt"))
