("9.3" tla64le ("16a6403fd15f0a8632da450d353f33380ff34488" . "d24514692d77b13dbfc9ebcacdb7ac2e497f2e11") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"scribble" #"sigplan.rkt") (collects #"scribblings" #"scribble" #"utils.rkt"))
