("9.3" tla64le ("b23c2199c6cee7aa18f1c37eb4c3630e8971d5d7" . "100f82610b4eb23485b97289b0df3ec0d79fd57d") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"struct.rkt"))
