("9.3" tla64le ("6e959b8b5e186262e614608a03f74b21ed7de855" . "270d5ee41bde0a65d021462cc0231a796e15cb77") (collects #"racket" #"base.rkt") (collects #"racket" #"hash.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt"))
