("7.6" racket ("c638adfc8ff3b103ab9d7cbe4ab034a4c5cb1511" "eabfe811e18818798aaa5c70f75048254c8bd3fa" . "d4668784ba5ef864d99f71c06e7ee39d95f54247") (collects #"racket" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"racket" #"runtime-config.rkt"))
