("7.6" racket ("63ae688d47ec00f6e81dd2727ea451430c7cc494" "37b9e4d79f2cc05b12a7aa424f74a927fe0001a7" . "48ddb4f8e0ce6f7ed77ffbe75d24f41a5852a31c") (collects #"file" #"gzip.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"file.rkt") (collects #"racket" #"runtime-config.rkt"))
