("8.1" racket ("cc18d1ed110745837eb2ae1f479bc0a5dee1f3e3" "6efb9a58906e2f975c71e087e233e74c7adc6a00" . "9dd4c697a0b9584eef7361a1ac78ca16b800c291") (collects #"racket" #"base.rkt") (collects #"racket" #"private" #"intdef-util.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"kerncase.rkt"))
