("8.15" tarm32nb ("b0961652c6c31d3d2709a8de88eb5fdf43413923" . "a248b4944ad43eb37145fbc4c102d67ab61ee8ee") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base.rkt") (collects #"scribble" #"core.rkt") (collects #"scriblib" #"autobib.rkt"))
