("7.9" racket ("8fcc71db54766e78e52040a8e620f83e416a2461" "60c51cea8f577526bf4ab79cff16b4de049c866b" . "07b2c68a8ecf78253d44649fb28ec1ed3032f1db") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"doctable.rkt"))
