("7.3" racket ("7bf091833a9e150b78f45bbad47e0e90b5cc9684" . "a74420d2e4b6b4ba5a9a0eaa6772f570dbe5c9f9") (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"))
