("8.15" #f ("914f467aea8b66e7a615fc1af0596cfae85f0f7a" . "623d96061e0f68b97b0b2d4efaf577fcdb6b1379") (collects #"scheme" #"main.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribblings" #"guide" #"death-list-5.rkt"))
