("7.6" racket ("513da7fb2e683d13689d6eba4315006491f79559" "a59a4ef3aa4714c53bb39e4de4b6306a0509489a" . "b43f424090921694c1b785a501336bc9fad78e46") (collects #"pkg" #"name.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"setup" #"matching-platform.rkt"))
