("8.1" racket ("fa667b6b737d9cf2a8887660fc9d0910d1c18827" "450659f30f22c1b5b22efefd087990a235efbb8a" . "f3cfce3f3fca59ca7faff2cfd185bb1e39a73e27") (collects #"db" #"private" #"pre.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"format.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"serialize.rkt") (collects #"setup" #"main-doc.rkt"))
