("8.14" racket ("8fcc71db54766e78e52040a8e620f83e416a2461" "8ef403d46face2ba4fa8db6308c7bcfe77b00150" . "c7882a38d3adec916818bdab6947a20de85ca8c1") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"doctable.rkt"))
