("9.3" tla64le ("23d8e59c4058d240b90cefb4d6caa49afd6453cd" . "2a0ab825926db0eb2992750371efccbf1b1e25ab") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"reference" #"ellipses-defn.rkt"))
