("7.6" racket ("f42c7080d46b4817b021bced0422c07bffdeae88" "4d29ad48f20636fecd0307c561e8b5a348e16565" . "eae58223fa373d1a31fa74c71d128dfa7bfb8fff") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
