("9.1" tla64le ("3c32790eb5c22a7f099279c07a3bb70ed05ec925" . "1f68ed20e3f23af95f357b8b80a57d2a5dd6d8a1") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"latex-prefix.rkt") (collects #"scribble" #"private" #"defaults.rkt"))
