("8.6" racket ("5a858d7bccbdea5d00fecb35dc95295f5ba504fe" "2deb2cd545b2cf3b6abcdd1b60a4c367fafe9dce" . "ac438ec56bc0c7480f3814e7de32b93075538231") (collects #"racket" #"private" #"cond.rkt") (collects #"racket" #"private" #"member.rkt") (collects #"racket" #"private" #"qq-and-or.rkt") (collects #"racket" #"private" #"stx.rkt"))
