("9.3" tla64le ("17d5c88f263cc4c73dd9cf25f465771a5165cc5a" . "3e8acd610483fbe5919c0ad09a5292829df77573") (collects #"racket" #"base.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"))
