("9.3" tla64le ("847ab22ff940fbf5019c34672742723af8bd5aed" . "3f6323b1fb34591918874911ad1e7382492112d1") (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"))
