("9.3" tla64le ("14fa9e1fce1762f4dd43b6fcf883727ba88e9bf8" . "bbf596cf3a0d553dcf8db86df20f7b041bd18998") (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") (collects #"setup" #"dirs.rkt"))
