("9.3" tla64le ("8682a2631072d2298df4bc5c7fa090eaddfaf13a" . "be2bf0bbc961e662b0fb6a680d5797e0682157b8") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"reader" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"literal.rkt"))
