("8.1" racket ("302e7ed9f0c303d626e575ab701271534f6edf7e" "0fdaf929f610a072b031c41390a48db18db6c2ee" . "5147de84583bcd88d885b20739d9024a93c8aba5") (collects #"file" #"gunzip.rkt") (collects #"file" #"private" #"check-path.rkt") (collects #"file" #"private" #"strip-prefix.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"date.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt"))
