("8.17" ta6le ("e42f252b54dbdad82d9f71d4fedb2727f8c78d0a" . "86192e10a2fcf5d175116701b3d94bc61a784a0c") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
