("7.3" racket ("78a36e19202783a7d3498786d71ca30aeb655bb5" . "20fc95e2145b79bff6692bb7bfd9f3d2849f1358") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
