("8.15" tarm32nb ("e3b4c68e272de9cc1d98fe0ed889e2c0366840ca" . "d035ec8887459154ac9bf2a11534e1f81ded70e5") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"format.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"private" #"manual-ex.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"search.rkt") (collects #"scribble" #"struct.rkt"))
