("8.1" racket ("df27957c8724d25f24fec13198f4e712f3486347" "520525f052b1cb7f990f8c0071a08b9c9fd983d4" . "90a648a27d5a03ce9ee635b5bbb32892ddcd3d9c") (collects #"racket" #"private" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"readerr.rkt"))
