("9.3" tla64le ("8d797be358d7b674713a2280dc007dc50e088672" . "ac9b2e5aa98f6fb0dd52d8b3c731202c33cf30f4") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt"))
