("9.2" tla64le ("847ab22ff940fbf5019c34672742723af8bd5aed" . "53ea521f93da0ebe5f7adc495ec367e8f23001a2") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"private" #"defaults.rkt") (collects #"scribble" #"private" #"on-demand.rkt"))
