("8.1" racket ("8fcc71db54766e78e52040a8e620f83e416a2461" "f5fca075625a83823f6ab8dde56d5503e544910e" . "7bfbf0a8ec27a4777fccde1b07e44480fb7503ae") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"doctable.rkt"))
