("7.6" racket ("6085f191863517cbcb771b6a6ccf1379d0f3ee54" "37b9e4d79f2cc05b12a7aa424f74a927fe0001a7" . "0ee4a580195bf06f5deb0e84ac04b079170b45af") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
